Thu, 29 Mar 2012 08:59:56 +0200 | haftmann | educated guess to include jdk | changeset | files |
Wed, 28 Mar 2012 17:57:23 +0200 | nipkow | improved robustness with new antiquoation by Makarius | changeset | files |
Wed, 28 Mar 2012 16:12:17 +0200 | nipkow | merged | changeset | files |
Wed, 28 Mar 2012 16:12:10 +0200 | nipkow | updates | changeset | files |
Wed, 28 Mar 2012 14:54:33 +0200 | bulwahn | updated documentation files (cf. c14fda8fee38) | changeset | files |
Wed, 28 Mar 2012 13:53:30 +0200 | wenzelm | clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; | changeset | files |