| Sun, 10 Jul 2011 20:59:04 +0200 | wenzelm | inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); | file | diff | annotate |
| Sun, 10 Jul 2011 15:48:15 +0200 | wenzelm | more abstract signature; | file | diff | annotate |
| Sun, 10 Jul 2011 13:51:21 +0200 | wenzelm | simplified XML_Data; | file | diff | annotate |
| Sun, 10 Jul 2011 13:00:22 +0200 | wenzelm | less currying in Scala; | file | diff | annotate |
| Thu, 07 Jul 2011 23:55:15 +0200 | wenzelm | simplified make_option/dest_option; | file | diff | annotate |
| 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 |