src/Pure/term_xml.ML
Tue, 12 Jul 2011 23:20:34 +0200 wenzelm tuned;
Tue, 12 Jul 2011 18:00:05 +0200 wenzelm more uniform Term and Term_XML modules;
Tue, 12 Jul 2011 17:53:06 +0200 wenzelm more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
Tue, 12 Jul 2011 10:44:30 +0200 wenzelm tuned XML modules;
Sun, 10 Jul 2011 20:59:04 +0200 wenzelm inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
Sun, 10 Jul 2011 17:58:11 +0200 wenzelm lambda terms with XML data representation in Scala;
Sun, 10 Jul 2011 16:34:17 +0200 wenzelm XML data representation of lambda terms;
less more (0) tip