clarified store directories;
discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;

more robust, notably for jdk-10.0.1 where jre is absent;

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;

isabelle_process is superseded by "isabelle process" tool;
tuned tool usage;
misc updates and tuning of "system" manual;

--HG--
rename : bin/isabelle_process => lib/Tools/process

slightly more robust re-initialization;

within the Isabelle environment, main executables are always within PATH;

avoid global state change;

more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;

SML/NJ is no longer supported;

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;

renamed jvmpath to platform_path;

clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);

more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;

less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;

clarified ISABELLE_JDK_HOME vs. JAVA_HOME;

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);

renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;

sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;

provide old-style ISABELLE_SCALA_SCRIPT for uniformity;

shell functions for all Isabelle executables;

renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;

--HG--
rename : bin/isabelle-process => bin/isabelle_process

remove remains from WinRun4J;

simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);

prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);

reverse orientation of ISABELLE_CLASSPATH;

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;

more formal isabelle_admin_build;
tuned;

more liberal init_components: base dir may get created later when resolving missing components;

provide polyml-5.4.1 as regular component;
discontinued old-style choosefrom settings with hardwired defaults;

direct support for component forests via init_components;
explicit ISABELLE_COMPONENTS_MISSING;

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";

always retain doc-src (as regular component);

configure Admin as component, with its own lib/Tools;

include doc-src as component, and thus its sessions defined in ROOT;

more standard session setup for WWW_Find;

provide explicit ISABELLE_PLATFORM32 as well;
discontinued some obsolete platforms;
explicit error for unknown platform;

clarified init_component: always liberal;
reduced divergence of clone from lib/scripts/getsettings;

simplified Cygwin root: warm start via env, cold start via property, no registry magic;

--HG--
extra : rebase_source : 771d7781373f5e71e6935ec987e6d559ee639e8e

enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;

more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe);

USER_HOME settings variable points to cross-platform user home directory;

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);

more precise handling of java failure, due to missing ISABELLE_JDK_HOME;

more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;

more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;

less brutal return from function, to allow caller to report error;

more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);

more tolerant cygpath invocation, allow empty CLASSPATH;

tuned message, which is displayed after termination of Isabelle.app on Mac OS;

ensure export of initial CLASSPATH;

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;

eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;

tuned;

JVM/Windows: more robust treatment of unicode in file names;

clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;

added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;

isabelle version -i;

init_component: require absolute path (when invoked by user scripts);

paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;

added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;

THIS_CYGWIN;

removed function "isabelle-process", keeping "isabelle" only -- functions within the process environment might get passed through a genuine /bin/sh, which does not allow non-identifiers here;

discontinued old ISABELLE and ISATOOL environment settings;

shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;

more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;

init_component: slightly more robust read (raw input, succeed on non-terminated last line);

proper nested quotes;
give up unposixly < <(...) for now -- it needs to be exportable through the global environment (e.g. via make or sh);

components: ensure that the last line is read, even if it lacks EOL;

slightly more robust error message;

function splitarray: splightly more abstract version that accomodates older bashes;

more uniform handling of ISABELLE_HOME_USER component;
discontinued ISABELLE_IGNORE_USER_SETTINGS (ever used? cf. c567f9fd61a2);

basic support for components (which imitate the usual Isabelle directory layout);

simplified IsabelleSystem.platform_path for cygwin;
eliminated ISABELLE_ROOT_JVM;
tuned;

removed Ids;

simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;

ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);

provide HOME_JVM=HOME to prevent implicit cygpath mangling;

proper ISABELLE_ROOT_JVM on Cygwin;

added ISABELLE_ROOT_JVM;
removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;

refined scala/java wrappers via isatool;

added ISABELLE_HOME_JVM;

proper jvmpath for cygwin;

refined JVM path wrappers: Isabelle environment holds Unix version of CLASSPATH, javawrapper/scalawrapper convert it back;

added javapath (for cygwin);

ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!

added ISABELLE_IDENTIFIER;
removed THIS_IS_ISABELLE_BUILD magic;

add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;

fixed
(exited abnormally when ~/isabelle/etc/settings not present)

observe ISABELLE_IGNORE_USER_SETTINGS;

export ISABELLE_HOME, do not normalize;
tuned;

tuned;

Merged in license change from Isabelle2004

warn for spaces in ISABELLE_HOME;

tuned;

GPLed;
more robust handling of spaces in args / file names;

choosefrom: support easy settings;

added ISABELLE_SITE_SETTINGS_PRESENT;

ISABELLE_SETTINGS_PRESENT: avoid multiple invocation;

ML_PLATFORM;

tuned;

fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);

eliminated PLATFORM;

added ISABELLE_HOME normalization;

tuned comments;

globally unset ENV, BASH_ENV;

integrated getplatform stuff;
added ISABELLE_OUTPUT_DIR;

added ISABELLE, ISATOOL;

improved error handling;

*** empty log message ***

*** empty log message ***

getsettings: bash source script to augment current env.