[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

1. Prerequisities


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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 User Input: (emacs)User Input, and See Keys: (emacs)Keys.

See Help: (emacs)Help, to learn how to get help on anything you may encounter in Emacs.

For basic survival, remember at least that:


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Josef Urban on February 20, 2014 using texi2html 1.82.