Man Linux: Main Page and Category List

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