Man Pages in proofgeneral

Section 1: Executable programs or shell commands

proofgeneral.1

Start emacs with the proof general splash screen