| Sun, 30 May 2010 23:40:24 +0200 | wenzelm | added HTML.encode (in Scala), similar to HTML.output in ML; | file | diff | annotate |
| Tue, 30 Mar 2010 00:47:52 +0200 | wenzelm | recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1; | file | diff | annotate |
| Mon, 29 Mar 2010 22:55:57 +0200 | wenzelm | replaced some deprecated methods; | file | diff | annotate |
| Mon, 29 Mar 2010 22:43:56 +0200 | wenzelm | adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection; | file | diff | annotate |
| 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 |