PROOFGENERAL(1) - manual page | User commands Start Emacs with the Proof General splash screen. Chapters NAMESYNOPSISDESCRIPTIONSEE ALSOAUTHOR January 6, 2012 Loading manual page ... Download proofgeneral(1).txt | manual plain text file Downloading man page ... Find manuals Go top