src/Pure/General/xml.scala
Sun, 04 Sep 2011 14:29:15 +0200 wenzelm pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56);
Tue, 12 Jul 2011 19:47:40 +0200 wenzelm retain some terminology of "XML attributes";
Tue, 12 Jul 2011 19:36:46 +0200 wenzelm more uniform Properties in ML and Scala;
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 11:16:56 +0200 wenzelm more precise exceptions;
Tue, 12 Jul 2011 10:44:30 +0200 wenzelm tuned XML modules;
Mon, 11 Jul 2011 15:56:30 +0200 wenzelm tuned signature;
less more (0) -30 -10 -7 tip