* Mizar Mode: (MizarMode).           Emacs Authoring Environment for Mizar
[Top] [Contents] [Index] [ ? ]

Mizar Mode

This file documents version 1.98 of Mizar Mode, an Emacs authoring environment for the Mizar system.

Mizar Mode 1.98 has been tested with GNU Emacs 21.2 and Windows port of GNU Emacs 21.2.

[Top] [Contents] [Index] [ ? ]

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