isabelle: File revisions

src/Pure/ProofGeneral/pgml.ML

2010-08-07	wenzelm	simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;	file \| diff \| annotate
2009-10-20	wenzelm	standardized basic operations on type option;	file \| diff \| annotate
2009-01-21	wenzelm	removed Ids;	file \| diff \| annotate
2008-08-27	wenzelm	fixed atom_to_xml: literal "name" attribute;	file \| diff \| annotate
2008-08-27	wenzelm	exported atom_to_xml;	file \| diff \| annotate
2008-08-27	wenzelm	get rid of tabs;	file \| diff \| annotate
2008-04-03	wenzelm	further cleanup of XML signature;	file \| diff \| annotate
2007-09-15	haftmann	fixed title	file \| diff \| annotate
2007-07-11	aspinall	Track schema changes: add area attribute to pgml packet. Also add quoted Raw element [hack for Isabelle bottom-up XML production]	file \| diff \| annotate
2007-07-10	wenzelm	renamed XML.Rawtext to XML.Output;	file \| diff \| annotate
2007-07-06	aspinall	Produce good PGML 2.0	file \| diff \| annotate
2007-07-05	aspinall	Revert body of pgml to match schema for now [change bad for Broker]	file \| diff \| annotate
2007-07-04	aspinall	PGML abstraction, draft version	file \| diff \| annotate

isabelle