src/Pure/ProofGeneral/ROOT.ML
2007-11-10 wenzelm 2007-11-10 ProofGeneral/preferences: auto_quickcheck=true;
2007-11-04 wenzelm 2007-11-04 removed obsolete ProofGeneral/parsing.ML;
2007-10-29 wenzelm 2007-10-29 qualified Proofterm.proofs;
2007-09-05 wenzelm 2007-09-05 use preferences.ML: do setmp *here*, to capture intended default values;
2007-07-12 wenzelm 2007-07-12 added ProofGeneral/pgip_parser.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.