src/Pure/ProofGeneral/pgml.ML
2008-04-03 wenzelm 2008-04-03 further cleanup of XML signature;
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-11 aspinall 2007-07-11 Track schema changes: add area attribute to pgml packet. Also add quoted Raw element [hack for Isabelle bottom-up XML production]
2007-07-10 wenzelm 2007-07-10 renamed XML.Rawtext to XML.Output;
2007-07-06 aspinall 2007-07-06 Produce good PGML 2.0
2007-07-05 aspinall 2007-07-05 Revert body of pgml to match schema for now [change bad for Broker]
2007-07-04 aspinall 2007-07-04 PGML abstraction, draft version