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