| Sun, 10 Jul 2011 13:51:21 +0200 | wenzelm | simplified XML_Data; | file | diff | annotate |
| Thu, 07 Jul 2011 23:55:15 +0200 | wenzelm | simplified make_option/dest_option; | 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 |
| Tue, 10 Aug 2010 22:26:23 +0200 | wenzelm | type XML.body as basic data representation language; | file | diff | annotate |