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)