| Fri, 15 Aug 2008 23:09:55 +0200 | wenzelm | proper RC; | changeset | files |
| Fri, 15 Aug 2008 22:59:02 +0200 | wenzelm | refined JVM path wrappers: Isabelle environment holds Unix version of CLASSPATH, javawrapper/scalawrapper convert it back; | changeset | files |
| Fri, 15 Aug 2008 22:59:01 +0200 | wenzelm | refined JVM path wrappers; | changeset | files |
| Fri, 15 Aug 2008 22:58:59 +0200 | wenzelm | added JVM components (Scala or Java); | changeset | files |
| Fri, 15 Aug 2008 22:16:14 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Aug 2008 22:16:13 +0200 | wenzelm | jars: build Pure.jar; | changeset | files |