[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] updated Mizar mode for Emacs



Freek Weedijk and Dan Synek have recently made some changes and additions 
in the Mizar mode. 
All files are available at
http://kti.ms.mff.cuni.cz/~urban/mizar_emacs.tar.gz

Josef Urban