| Sat, 16 Aug 2008 23:29:02 +0200 | wenzelm | more private fields; | changeset | files |
| 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 |
| Sat, 16 Aug 2008 21:23:01 +0200 | wenzelm | jar target: removed jvmpath -- does not work on Linux!? | changeset | files |
| Sat, 16 Aug 2008 16:44:10 +0200 | wenzelm | add scala-library.jar if available; | changeset | files |