Mizar mode for Emacs

[Josef Urban <urban@mail.kolej.mff.cuni.cz>]

Hello,

my name is Josef Urban, I wrote a Mizar article about cardinals recently, 
and also a basic Emacs mode for working with the Linux version (6.0.01) of
Mizar. 
It contains syntax highlighting, interface functions for work with the
checker ( sending input, getting output and its errors) and for work with
some other Mizar utilities, basic indentation, and function for displaying
referenced theorems, definitions and schemes.
To use it properly, you need to set up several things described at the
beginning of the file.

It can be downloaded from my home page 
http://kti.ms.mff.cuni.cz/~urban .

I put there also some fonts for proper display of Mizar articles in X
windows, and instructions how to install them and use them, and how to
enter special characters inside Emacs. 
  
I hope someone finds it useful.

Josef Urban