minlog - starts Emacs and runs Minlog in it.

       This manual page was written by Stefan Schimanski <schimmi@debian.org>, for the Debian  GNU/Linux  system
       (but may be used by others).

                                                                                                       MINLOG(1)

       This  manual  page  documents  the minlog program.  This manual page was written for the Debian GNU/Linux
       distribution because the original program does not have a manual page.

       The minlog command starts Emacs (by default, set $EMACS to switch to your Emacs version of choice), loads
       the minlog-mode and open standard Minlog buffers.

       minlog - starts Emacs and runs Minlog in it.

files  One or more scheme files for the Minlog theorem prover. Usually these files end with .scm

minlogfiles