src/Pure/ProofGeneral/ROOT.ML
2007-07-06 aspinall 2007-07-06 Produce good PGML 2.0
2007-07-04 aspinall 2007-07-04 Use pgml
2006-12-29 wenzelm 2006-12-29 added proper header;
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-04 aspinall 2006-12-04 Add separate PG Emacs configuration
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.