1. Prerequisities

1.1 Installation

Since Mizar version 6.1.12, Mizar Mode is part of the Mizar distribution available at http://mizar.uwb.edu.pl/system/#download. A sample customization file .emacs is also included there. The only installation step required, is to copy the declarations in that file to your own .emacs file.

The latest version of Mizar Mode is downloadable from http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/mizar.el.

Mizar Mode has been tested with GNU Emacs 21.2 and Windows port of GNU Emacs 21.2. If you use the Windows port, you need a GNU version of grep, for the grepping functions to work properly.

1.1.1 XEmacs compatibility

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.

1.2 Emacs basics

Make sure you have the Emacs info pages installed. If you do not know what a key sequence like C-x b means, See Info file `emacs', node `User Input', and See Info file `emacs', node `Keys'.

See Info file `emacs', node `Help', to learn how to get help on anything you may encounter in Emacs.

For basic survival, remember at least that:

• C-h k followed by a keybord shortcut, explains the shortcut
• C-h w followed by a name of command, gives you its shortcuts
• C-h i enters the Info browser
• C-h f displays the documentation for a given function
• C-h m displays the documentation for current mode