| Sat, 07 Aug 2010 21:03:06 +0200 |
wenzelm |
simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 00:49:54 +0200 |
wenzelm |
fixed atom_to_xml: literal "name" attribute;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 00:33:19 +0200 |
wenzelm |
exported atom_to_xml;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 12:00:28 +0200 |
wenzelm |
get rid of tabs;
|
file |
diff |
annotate
|
| 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
|