src/Pure/term_xml.ML
Sat, 12 Oct 2019 15:01:13 +0200 wenzelm more compact XML;
Sat, 12 Oct 2019 12:25:16 +0200 wenzelm more compact XML;
Thu, 10 Oct 2019 16:51:47 +0200 wenzelm more compact XML representation;
Fri, 04 Oct 2019 15:30:52 +0200 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
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