Poster of Linux kernelThe best gift for a Linux geek
MINLOG

MINLOG

Section: User Commands (1)
Local index Up

 

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


 

Index

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
AUTHOR

This document was created by man2html, using the manual pages.
Time: 21:23:54 GMT, April 16, 2011