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 |