[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] plugin for mizar Atom text editor?

To: "mizar-forum@mizar.uwb.edu.pl" <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] plugin for mizar Atom text editor?
From: "Miranda, Brando" <miranda9@illinois.edu>
Date: Thu, 29 Nov 2018 02:12:26 +0000

Hi,

Is there a plug for Atom for mizar so that the language is highlighted etc?

https://discuss.atom.io/t/is-there-an-atom-plugin-for-mizar-formal-language/60766

Regards, BM

Prev by Date: [mizar] how does dc-proof language compare to mizar?
Next by Date: Re: [mizar] where do people check for the MML library?
Index(es):
- Chronological
- Thread