Section: User Commands (1) Local index
minlog - starts Emacs and runs Minlog in it.
This manual page documents the
This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
command starts Emacs (by default, set $EMACS to switch to your Emacs
version of choice), loads the minlog-mode and open standard Minlog
One or more scheme files for the Minlog theorem prover. Usually these
files end with
This manual page was written by Stefan Schimanski <firstname.lastname@example.org>,
for the Debian GNU/Linux system (but may be used by others).
This document was created by
using the manual pages.
Time: 21:23:54 GMT, April 16, 2011