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