[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Mizar Mode documentation
Hi,
I wrote the first version of documentation for the Mizar mode for Emacs.
The package containing info, html, pdf and ps formats is downloadable from
http://kti.ms.mff.cuni.cz/~urban/MizarModeDoc.tar.gz .
The html version can be browsed at
http://ktilinux.ms.mff.cuni.cz/~urban/MizarModeDoc/html .
The working texinfo source is at
http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/doc/MizarMode.texi
.
Josef Urban