NAME

       proofgeneral - start Emacs with the Proof General splash screen

SYNOPSIS

       proofgeneral files...

DESCRIPTION

       The command proofgeneral is just an abbreviation for emacs -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)