src/Pure/ProofGeneral/pgip_input.ML
2008-04-03 wenzelm 2008-04-03 further cleanup of XML signature;
2007-06-20 aspinall 2007-06-20 Remove dedicated flag setting elements in favour of setproverflag.
2007-03-03 aspinall 2007-03-03 Add setproverflag, to replace other flag controls
2007-01-22 aspinall 2007-01-22 Add askrefs, setrefs, error_with_pos
2007-01-18 aspinall 2007-01-18 Fix pgmlsymbolsoff
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-05 aspinall 2006-12-05 Document structure in pgip_markup.ML. Minor fixes.
2006-12-05 aspinall 2006-12-05 Support PGIP communication for preferences in Emacs mode.
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.