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