| Thu, 24 May 2012 15:33:45 +0200 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | file | diff | annotate | base |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Wed, 11 Aug 2010 13:39:36 +0200 | wenzelm | more precise and more maintainable dependencies; | file | diff | annotate | base |