| 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 |
| Tue, 10 Aug 2010 18:23:12 +0200 | wenzelm | tuned; | file | diff | annotate |