| 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 |