src/Pure/ProofGeneral/TODO
2007-02-17 aspinall 2007-02-17 Updated
2006-12-05 aspinall 2006-12-05 Support PGIP communication for preferences in Emacs mode.
2006-12-04 aspinall 2006-12-04 Add separate PG Emacs configuration
2006-12-04 aspinall 2006-12-04 New files.