Files in this directory  (not part of standard distribution)
============================================================

ProofGeneral.spec   }  For building the Proof General RPM.
ProofGeneral.patch  }

announce	       Announcement
		       
lego		       Files for testing LEGO Proof General
isa					 Isabelle Proof General
isar					 Isar PG

README                 this file

example                test protocol for example proof scripts

notes.txt	       Misc notes