Wed, 30 Sep 2015 23:37:20 +0200 | wenzelm | proper isabelle.root for bootstrap; | changeset | files |
Wed, 30 Sep 2015 23:22:27 +0200 | wenzelm | merged | changeset | files |
Wed, 30 Sep 2015 23:15:50 +0200 | wenzelm | tuned; | changeset | files |
Wed, 30 Sep 2015 22:01:17 +0200 | wenzelm | proper Cygwin.init (amending e00e1bf23d03); | changeset | files |
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 |