man proofgeneral (Commandes) - a generic interface for proof assistants.
NAME
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