NAME

       proofgeneral - start Emacs with the Proof General splash screen

SYNOPSIS

       proofgeneral files...

DESCRIPTION

       The  command  proofgeneral  is  just  an abbreviation for emacs23 -f proof-splash-display-
       screen.  Thus it starts emacs, displays  the  Proof  General  splash  screen  and  behaves
       otherwise identical to emacs.

       Use proofgeneral file.v to start Proof General in Coq mode for file.v.

SEE ALSO

       emacs(1),

AUTHOR

       The   proofgeneral   script   and   this   manual   page  were  written  by  Hendrik  Tews
       <hendrik@askra.de>, specifically for the Debian project (and may be used by others).

                                         January  6, 2012                         PROOFGENERAL(1)