5 weeks ago haftmann 2019-03-14 dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
4 months ago wenzelm 2018-12-10 more formal Haskell project setup, with dependencies on packages from "stackage";
5 months ago wenzelm 2018-11-08 clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
5 months ago wenzelm 2018-11-05 more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
6 months ago wenzelm 2018-10-17 more portable;
6 months ago wenzelm 2018-10-17 proper path;
6 months ago wenzelm 2018-10-17 avoid strict evaluation of "isabelle_stack path --programs";
6 months ago wenzelm 2018-10-17 enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;
6 months ago wenzelm 2018-10-17 support for GHC via command-line tools;
6 months ago wenzelm 2018-10-08 support for OCaml via command-line tools;
11 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
12 months ago wenzelm 2018-04-20 more robust, notably for jdk-10.0.1 where jre is absent;
16 months ago wenzelm 2017-11-27 updated to official release of polyml-5.7.1; back to more modest default heap: e.g. relevant for Pure session for ML IDE; more robust POLYML_EXE;
2016-03-10 wenzelm 2016-03-10 isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
2016-02-25 wenzelm 2016-02-25 slightly more robust re-initialization;
2016-02-25 wenzelm 2016-02-25 within the Isabelle environment, main executables are always within PATH;
2016-02-25 wenzelm 2016-02-25 avoid global state change;
2016-02-25 wenzelm 2016-02-25 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 2016-02-17 SML/NJ is no longer supported;
2015-10-02 wenzelm 2015-10-02 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 2015-09-30 renamed jvmpath to platform_path;
2015-09-30 wenzelm 2015-09-30 clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
2015-09-11 wenzelm 2015-09-11 more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
2015-06-20 wenzelm 2015-06-20 less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
2014-10-27 wenzelm 2014-10-27 clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
2014-10-09 wenzelm 2014-10-09 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 2014-09-21 renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
2014-06-27 wenzelm 2014-06-27 sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
2014-04-07 wenzelm 2014-04-07 provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
2014-04-06 wenzelm 2014-04-06 shell functions for all Isabelle executables;
2014-04-06 wenzelm 2014-04-06 renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
2013-09-28 wenzelm 2013-09-28 remove remains from WinRun4J;
2013-09-28 wenzelm 2013-09-28 simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
2013-09-26 wenzelm 2013-09-26 prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
2013-09-12 wenzelm 2013-09-12 reverse orientation of ISABELLE_CLASSPATH;
2013-09-12 wenzelm 2013-09-12 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-06-25 wenzelm 2013-06-25 more formal isabelle_admin_build; tuned;
2012-09-13 wenzelm 2012-09-13 more liberal init_components: base dir may get created later when resolving missing components;
2012-08-29 wenzelm 2012-08-29 provide polyml-5.4.1 as regular component; discontinued old-style choosefrom settings with hardwired defaults;
2012-08-17 wenzelm 2012-08-17 direct support for component forests via init_components; explicit ISABELLE_COMPONENTS_MISSING;
2012-08-17 wenzelm 2012-08-17 allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira; clarified spaces in file names -- ISABELLE_HOME is non-critical after abolishment of "make";
2012-08-14 wenzelm 2012-08-14 always retain doc-src (as regular component);
2012-08-08 wenzelm 2012-08-08 configure Admin as component, with its own lib/Tools;
2012-07-27 wenzelm 2012-07-27 include doc-src as component, and thus its sessions defined in ROOT;
2012-07-25 wenzelm 2012-07-25 more standard session setup for WWW_Find;
2012-07-23 wenzelm 2012-07-23 provide explicit ISABELLE_PLATFORM32 as well; discontinued some obsolete platforms; explicit error for unknown platform;
2012-07-23 wenzelm 2012-07-23 clarified init_component: always liberal; reduced divergence of clone from lib/scripts/getsettings;
2012-05-24 wenzelm 2012-05-24 simplified Cygwin root: warm start via env, cold start via property, no registry magic;
2012-04-25 wenzelm 2012-04-25 enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
2012-04-22 wenzelm 2012-04-22 USER_HOME settings variable points to cross-platform user home directory;
2012-04-17 wenzelm 2012-04-17 retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
2012-04-16 wenzelm 2012-04-16 more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
2012-04-14 wenzelm 2012-04-14 more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
2012-04-14 wenzelm 2012-04-14 more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
2012-04-01 wenzelm 2012-04-01 less brutal return from function, to allow caller to report error;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-01 wenzelm 2012-03-01 more tolerant cygpath invocation, allow empty CLASSPATH;
2011-09-27 wenzelm 2011-09-27 tuned message, which is displayed after termination of on Mac OS;
2011-06-23 wenzelm 2011-06-23 ensure export of initial CLASSPATH;
2011-02-13 wenzelm 2011-02-13 more explicit exit due to failed etc/settings -- normally return code 0=true and 1=false could be tolerated, but bash syntax errors also return 1;