src/Pure/ProofGeneral/pgml.ML
Tue, 10 Jul 2007 23:29:49 +0200 wenzelm renamed XML.Rawtext to XML.Output;
Fri, 06 Jul 2007 17:52:52 +0200 aspinall Produce good PGML 2.0
Thu, 05 Jul 2007 19:59:01 +0200 aspinall Revert body of pgml to match schema for now [change bad for Broker]
Wed, 04 Jul 2007 21:20:23 +0200 aspinall PGML abstraction, draft version
less more (0) tip