| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | changeset | files |
| Wed, 30 Sep 2015 21:05:14 +0200 | wenzelm | clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path); | changeset | files |
| Wed, 30 Sep 2015 20:48:59 +0200 | wenzelm | tuned GUI; | changeset | files |