Syntax highlighting for gedit

[Steven]

Hello all,

Maybe somebody else would find this useful too...

I wrote a language file that supports syntax highlighting for Metamath
databases in gedit. Syntax highlighting helps make source code easier
to read by showing different grammatical elements in different colors.

http://www.bitflippin.org/metamath-syntax-highlighting


Steven

[Norman Megill]

Hi Steven,

Thanks for doing this. I noted your syntax highlighting at
http://us2.metamath.org:88/screen1.html

--
Norm http://us.metamath.org/email.html
(Do not use the address in this post's header)