| Sun, 22 Jul 2012 23:31:57 +0200 | wenzelm | parallel scheduling of jobs; | file | diff | annotate |
| Fri, 20 Jul 2012 12:00:08 +0200 | wenzelm | proper commas_quote; | file | diff | annotate |
| Thu, 19 Jul 2012 11:54:19 +0200 | wenzelm | tuned width; | file | diff | annotate |
| Thu, 24 May 2012 22:07:00 +0200 | wenzelm | less warning in scala-2.10.0-M3; | file | diff | annotate |
| Fri, 04 May 2012 15:58:27 +0200 | wenzelm | some attempts to make critical errors fit on screen; | file | diff | annotate |
| Sat, 17 Mar 2012 17:44:29 +0100 | wenzelm | misc tuning to accomodate scala-2.10.0-M2; | file | diff | annotate |
| Mon, 27 Feb 2012 23:35:11 +0100 | wenzelm | more explicit development graph; | file | diff | annotate |