proofgeneral1
Start emacs with the proof general splash screen
Usage
proofgeneral files ...
Overview
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.
Releases
10 releases since Debian 3.1 (Sarge); the text changed 2 times.