Sat, 16 Aug 2008 23:28:38 +0200 | wenzelm | jar: invoke scaladoc; | changeset | files |
Sat, 16 Aug 2008 23:12:23 +0200 | wenzelm | tuned comments; | changeset | files |
Sat, 16 Aug 2008 21:23:03 +0200 | wenzelm | use scala.collection.jcl.HashMap, which seems to be more efficient; | changeset | files |