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); | file | diff | annotate |
Tue, 12 Jul 2011 19:47:40 +0200 | wenzelm | retain some terminology of "XML attributes"; | file | diff | annotate |
Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | file | diff | annotate |
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; | file | diff | annotate |
Tue, 12 Jul 2011 11:16:56 +0200 | wenzelm | more precise exceptions; | file | diff | annotate |
Tue, 12 Jul 2011 10:44:30 +0200 | wenzelm | tuned XML modules; | file | diff | annotate |
Mon, 11 Jul 2011 15:56:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |