| 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
|
| Mon, 11 Jul 2011 10:27:50 +0200 |
wenzelm |
tuned XML.Cache parameters;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 11:09:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 22:58:24 +0200 |
wenzelm |
XML.Cache: intern property keys once and for all (again);
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 14:52:25 +0200 |
wenzelm |
tuned XML.content: Stream based iteration is supposed to be declarative *and* efficient;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 18:20:36 +0200 |
wenzelm |
XML.Cache: pipe-lined (thread-safe) version using actor;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 00:42:01 +0200 |
wenzelm |
more uniform XML/YXML string_of_body/string_of_tree;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 23:03:48 +0200 |
wenzelm |
type XML.Body as basic data representation language (Scala version);
|
file |
diff |
annotate
|