Files in this directory  (not all part of standard distribution - some only in devel)
=====================================================================================

ProofGeneral.spec      For building the Proof General RPM.
		       Use "rpm -tb" to build from tarball.

ProofGeneral.menu      Menu file for some Linux versions.  
		       Install in /usr/lib/menu.

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


README                 this file

example                test protocol for example proof scripts

notes.txt	       Misc notes

bug-notes.txt	       Test cases for Emacs or PG bugs
cvs-tips.txt	       Notes on  cvs with PG project
debugging-tips.txt     Notes on  debugging
profiling.txt			 profiling

testing-log.txt	       Notes on tests carried out

release-log.txt	       A record of official releases