proofgeneral - a generic interface for proof assistants.
This manual page documents the
This manual page was written for the Debian GNU/Linux distribution
because the original program does not have a manual page.
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.
This manual page was written by Stefan Schimanski <schimmi@debianorg>,
for the Debian GNU/Linux system (but may be used by others).
For more information take a look at the documentation in the info system with