Thu, 03 Apr 2008 21:23:39 +0200 | wenzelm | further cleanup of XML signature; | file | diff | annotate |
Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
Wed, 11 Jul 2007 11:21:10 +0200 | 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 |
Tue, 10 Jul 2007 23:29:49 +0200 | wenzelm | renamed XML.Rawtext to XML.Output; | file | diff | annotate |
Fri, 06 Jul 2007 17:52:52 +0200 | aspinall | Produce good PGML 2.0 | file | diff | annotate |
Thu, 05 Jul 2007 19:59:01 +0200 | aspinall | Revert body of pgml to match schema for now [change bad for Broker] | file | diff | annotate |
Wed, 04 Jul 2007 21:20:23 +0200 | aspinall | PGML abstraction, draft version | file | diff | annotate |