plugin for mizar Atom text editor?

"Miranda, Brando" <[email protected]> Thu, 29 Nov 2018 02:12:26 +0000

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

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