| Wed, 13 Jul 2011 10:57:09 +0200 | wenzelm | XML.pretty with depth limit; | file | diff | annotate |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Wed, 29 Dec 2010 20:41:33 +0100 | wenzelm | tuned ML toplevel pp for type string: observe depth limit; | file | diff | annotate |
| Wed, 11 Aug 2010 13:39:36 +0200 | wenzelm | more precise and more maintainable dependencies; | file | diff | annotate | base |