| Fri, 02 Oct 2015 23:22:49 +0200 | wenzelm | more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images; | file | diff | annotate |
| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Wed, 30 Sep 2015 21:05:14 +0200 | wenzelm | clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path); | file | diff | annotate |