Adapting Proof General

Proof General -- Organize your proofs!

Adapting Proof General 3.4 to new provers

August 2002

www.proofgeneral.org

David Aspinall with T. Kleymann



This document was generated on 29 August 2002 using texi2html 1.56k.