wiki:ProofGeneral

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

Last modified 13 years ago Last modified on Nov 14, 2007, 5:35:27 PM