.TH MINLOG 1

.SH NAME
minlog \- starts Emacs and runs Minlog in it.

.SH SYNOPSIS
.B minlog files

.SH "DESCRIPTION"
This manual page documents the
.BR minlog
program.
This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
.PP
The
.B 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.

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

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