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