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;
Wed, 30 Sep 2015 21:32:44 +0200 wenzelm renamed jvmpath to platform_path;
Wed, 30 Sep 2015 21:05:14 +0200 wenzelm clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
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;
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;
Mon, 27 Oct 2014 16:11:24 +0100 wenzelm clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
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);
Sun, 21 Sep 2014 20:22:12 +0200 wenzelm renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
Fri, 27 Jun 2014 11:30:42 +0200 wenzelm sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
Mon, 07 Apr 2014 13:11:31 +0200 wenzelm provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
Sun, 06 Apr 2014 17:09:32 +0200 wenzelm shell functions for all Isabelle executables;
Sun, 06 Apr 2014 16:59:41 +0200 wenzelm renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
Sat, 28 Sep 2013 15:36:14 +0200 wenzelm remove remains from WinRun4J;
Sat, 28 Sep 2013 13:50:38 +0200 wenzelm simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
Thu, 26 Sep 2013 12:56:59 +0200 wenzelm prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
less more (0) -15 tip