isabelle: File revisions

lib/scripts/getsettings

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
Fri, 11 Sep 2015 14:53:05 +0200	wenzelm	more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;	file \| diff \| annotate
Sat, 20 Jun 2015 16:08:47 +0200	wenzelm	less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;	file \| diff \| annotate
Mon, 27 Oct 2014 16:11:24 +0100	wenzelm	clarified ISABELLE_JDK_HOME vs. JAVA_HOME;	file \| diff \| annotate
Thu, 09 Oct 2014 13:56:27 +0200	wenzelm	prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);	file \| diff \| annotate

isabelle