Query: proofgeneral
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
PROOFGENERAL(1) General Commands Manual PROOFGENERAL(1)NAMEproofgeneral - start Emacs with the Proof General splash screenSYNOPSISproofgeneral files...DESCRIPTIONThe 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 ALSOemacs(1),AUTHORThe 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)
Related Man Pages |
---|
checker(1) - debian |
coqtop(1) - debian |
hol-light(1) - debian |
screensaver(4) - debian |
splash(4) - debian |
Similar Topics in the Unix Linux Community |
---|
Adding the individual columns of a matrix. |
One instance of comparing grep and awk |
Find columns in a file based on header and print to new file |
Weird 'find' results |