| Sat, 16 Aug 2008 13:31:56 +0200 | wenzelm | tuned abbrevs; | changeset | files |
| Sat, 16 Aug 2008 13:31:55 +0200 | wenzelm | added ISABELLE_SCALA, ISABELLE_JAVA; | changeset | files |
| Fri, 15 Aug 2008 23:31:37 +0200 | wenzelm | added ISABELLE_HOME_JVM; | changeset | files |
| Fri, 15 Aug 2008 23:10:36 +0200 | wenzelm | proper jvmpath for cygwin; | changeset | files |
| 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 |