Some small additions and fixes have been done to the Mizar mode for Emacs. All files are available at http://kti.ms.mff.cuni.cz/~urban/mizar_emacs.tar.gz Josef Urban