= Proof General... =

is subject of this trac.

NB: the preferred name has a space, '''Proof General''', contrary to the usage adopted by certain
theorem prover developers! 

Please see http://proofgeneral.inf.ed.ac.uk