Sat, 19 Dec 2009 16:51:32 +0100 | wenzelm | refined some Symbol operations/signatures; | file | diff | annotate |
Thu, 10 Dec 2009 13:43:51 +0100 | wenzelm | sealed XML.Tree; | file | diff | annotate |
Mon, 07 Dec 2009 00:02:54 +0100 | wenzelm | avoid lazy val with side-effects -- spurious null pointers!? | file | diff | annotate |
Sun, 06 Dec 2009 23:25:27 +0100 | wenzelm | proper markup text for loc; | file | diff | annotate |
Sun, 06 Dec 2009 23:08:43 +0100 | wenzelm | basic treatment of special control symbols; | file | diff | annotate |
Sun, 06 Dec 2009 22:23:31 +0100 | wenzelm | more robust treatment of line breaks -- Java "split" has off semantics; | file | diff | annotate |
Fri, 04 Dec 2009 22:51:59 +0100 | wenzelm | Basic HTML output. | file | diff | annotate |