proofgeneral - a generic interface for proof assistants.
SYNOPSIS
proofgeneral
DESCRIPTION
This manual page documents the
proofgeneral
program.
This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
The
proofgeneral
program starts a Proof General session in XEmacs, or if XEmacs is not installed
in Emacs. The Emacs flavor can be manually set in the environment variable EMACS.
Keep in mind that Proof General only supports Emacs 21 and XEmacs 21. Setting EMACS
to another flavor might result in an undefined behaviour.
Proof General is a generic interface for proof assistants,
currently based on the customizable text editor Emacs.
It works with either XEmacs or GNU Emacs. Proof General
has been developed at the LFCS in the University of Edinburgh.
AUTHOR
This manual page was written by Stefan Schimanski <schimmi@debianorg>,
for the Debian GNU/Linux system (but may be used by others).
SEE ALSO
For more information take a look at the documentation in the info system with
info proofgeneral