Mizar Mode for Emacs

• the mizar mode for Emacs is now a part of the MizarDistribution
• the latest (and probably experimental) version can be downloaded from the CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode
• documentation can be downloaded from http://kti.ms.mff.cuni.cz/~urban/MizarModeDoc.tar.gz or browsed at http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/html, this link is also available from the Mizar menu in Emacs; there is now also a paper about MizarMode: http://kti.ms.mff.cuni.cz/~urban/mizmode.ps
• Mizar mode has been recently ported to the Windows port of GNU Emacs, (for your convenience, working version of Windows Emacs and grep is mirrored as an attachement below)
• a lot of changes has been done, to make mizar mode work with XEmacs, however, you still need to load into XEmacs the file etags.el from the GNU Emacs (instead of XEmacs' tags), to have the browsing extensions working
• see also http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/FAQ, MizarFAQ, or ask a question at MizarQuestions

-- JosefUrban - 08 Jan 2005
to top