| Wed, 11 Aug 2010 22:41:26 +0200 | wenzelm | represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids); | file | diff | annotate |
| Wed, 11 Aug 2010 00:42:40 +0200 | wenzelm | proper handling of empty text; | 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 |