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)NAMEminlog - starts Emacs and runs Minlog in it.SYNOPSISminlog filesDESCRIPTIONThis 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.OPTIONSfiles One or more scheme files for the Minlog theorem prover. Usually these files end with .scmAUTHORThis 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) |