lib/scripts/getsettings
2016-03-10 wenzelm isabelle_process is superseded by "isabelle process" tool;
2016-02-25 wenzelm slightly more robust re-initialization;
2016-02-25 wenzelm within the Isabelle environment, main executables are always within PATH;
2016-02-25 wenzelm avoid global state change;
2016-02-25 wenzelm more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
2016-02-17 wenzelm SML/NJ is no longer supported;
2015-10-02 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;
2015-09-30 wenzelm renamed jvmpath to platform_path;
2015-09-30 wenzelm clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
2015-09-11 wenzelm more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
2015-06-20 wenzelm less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
2014-10-27 wenzelm clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
2014-10-09 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);
2014-09-21 wenzelm renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
2014-06-27 wenzelm sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
less more (0) -100 -15 tip