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. With gedit installed, download the metamath.lang attachment and move it to the folder where gedit stores its language files. On my Ubuntu laptop for example, I do this: sudo mv metamath.lang /usr/share/gtksourceview-2.0/language-specs The next time you open a Metamath database, gedit activates the syntax highlighting automatically. |