debian man page for minlog

MINLOG(1)						      General Commands Manual							 MINLOG(1)

NAME
       minlog - starts Emacs and runs Minlog in it.

SYNOPSIS
       minlog files

DESCRIPTION
       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.

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

AUTHOR
       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)