proofgeneral(1) debian man page | unix.com

PROOFGENERAL(1) 					      General Commands Manual						   PROOFGENERAL(1)

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 Gen-
       eral 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)