proofgeneral - start Emacs with the Proof General splash screen

       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)

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

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

       proofgeneral - start Emacs with the Proof General splash screen

emacs(1),

proofgeneral files...