[mizar] Midnight Commander syntax highlighting

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

I just wrote MizarMode-like rules for syntax highlighting 
in the Midnight Commander.

They are in files Syntax and mizar.syntax downloadable from
http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/*checkout*/mizarmode/Syntax?rev=HEAD&content-type=text/plain
and 
http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/*checkout*/mizarmode/mizar.syntax?rev=HEAD&content-type=text/plain

Josef Urban