debian man page for minlog

Query: minlog

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

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)
Related Man Pages
emacsclient(1) - suse
emacsclient(1) - hpux
emacsclient(1) - xfree86
emacsclient(1) - minix
emacsclient(1) - ultrix
Similar Topics in the Unix Linux Community
do u know wat it ll cause?
Syntax error near unexpected token `$MQ_LOG'
VB3.8.11 Prep - Manually Update MySQL Tables (ALTER TABLE)