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 added "isabelle components" tool;
2012-07-28 wenzelm 2012-07-28 discontinued special treatment of Proof General;
2012-07-27 wenzelm 2012-07-27 proper shell variable;
2012-07-24 wenzelm 2012-07-24 further imitation of ISABELLE_USEDIR_OPTIONS via options;
2012-07-23 wenzelm 2012-07-23 tuned;
2012-07-23 wenzelm 2012-07-23 updated smlnj settings;
2012-07-06 wenzelm 2012-07-06 discontinued odd XSYMBOL_INSTALLFONTS, which is private to PG-3.7.x ( no longer exists);
2012-07-05 wenzelm 2012-07-05 slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
2012-04-25 wenzelm 2012-04-25 smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
2012-04-24 wenzelm 2012-04-24 prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
2012-04-22 wenzelm 2012-04-22 USER_HOME settings variable points to cross-platform user home directory;
2012-04-01 krauss 2012-04-01 removed old HOL4 import -- corresponding exporter is lost, code is broken, no users known, maintenance nightmare
2012-03-28 wenzelm 2012-03-28 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; clarified jEdit/README_BUILD;
2012-03-28 wenzelm 2012-03-28 updated comments;
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2012-03-18 wenzelm 2012-03-18 less noisy Isabelle/Scala build process;
2012-01-11 wenzelm 2012-01-11 more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
2011-10-15 wenzelm 2011-10-15 updated to polyml-5.4.1;
2011-09-18 wenzelm 2011-09-18 discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
2011-09-17 wenzelm 2011-09-17 specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2011-06-22 wenzelm 2011-06-22 clarified default ML settings;
2011-06-20 wenzelm 2011-06-20 simplified/generalized ISABELLE_FONTS handling;
2011-03-14 wenzelm 2011-03-14 example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
2011-03-13 wenzelm 2011-03-13 files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
2011-03-13 wenzelm 2011-03-13 some cleanup of old-style settings;
2011-03-13 wenzelm 2011-03-13 clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
2011-01-18 wenzelm 2011-01-18 Apple's way of locating java;
2011-01-10 wenzelm 2011-01-10 updated for polyml-5.4.0; discontinued old-fashioned POLY_HOME via path; more robust handling of polyml-version, preferably provided by Poly/ML distribution itself;
2010-11-16 wenzelm 2010-11-16 more robust determination of java executable;
2010-11-15 wenzelm 2010-11-15 more robust treatment of spaces in file names;
2010-11-05 wenzelm 2010-11-05 moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
2010-05-28 wenzelm 2010-05-28 assume given SCALA_HOME, e.g. from component settings or external setup;
2010-05-22 wenzelm 2010-05-22 use proper ISABELLE_PLATFORM instead of adhoc uname;
2010-05-22 wenzelm 2010-05-22 rendering information and style sheets via settings; generalized Isabelle_System.try_read; prefer getenv_strict in most situations;
2010-04-20 wenzelm 2010-04-20 refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
2010-04-19 wenzelm 2010-04-19 polyml-platform script is superseded by ISABELLE_PLATFORM;
2010-04-17 wenzelm 2010-04-17 improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
2010-02-06 wenzelm 2010-02-06 removed ever experimental support for Moscow ML -- hardly works anymore;
2010-01-04 wenzelm 2010-01-04 discontinued special HOL_USEDIR_OPTIONS;
2009-11-29 wenzelm 2009-11-29 deactivated default for E_HOME, SPASS_HOME -- now configured as components; deactivated default for VAMPIRE_HOME -- superceded by remote_vampire;
2009-11-09 wenzelm 2009-11-09 setup for official Poly/ML 5.3.0, which is now the default;
2009-11-07 wenzelm 2009-11-07 tuned ML_OPTIONS for SML/NJ -- for improved performance;
2009-08-28 wenzelm 2009-08-28 PDF_VIEWER: more Unix-ish behaviour on Mac OS;
2009-08-22 wenzelm 2009-08-22 removed jedit setup -- now a self-contained component (external);
2009-08-06 wenzelm 2009-08-06 misc changes to SOS by Philipp Meyer: CSDP_EXE as central setting; separate component src/HOL/Library/Sum_Of_Squares; misc tuning and rearrangement of neos_csdp_client; more robust treatment of shell paths; debugging depends on local flag; removed unused parts;
2009-08-04 wenzelm 2009-08-04 basic support for components (which imitate the usual Isabelle directory layout);
2009-07-30 wenzelm 2009-07-30 ISABELLE_USEDIR_OPTIONS: -q 2 by default;
2009-07-19 wenzelm 2009-07-19 parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-07-03 wenzelm 2009-07-03 SCALA_HOME: proper line escapes for choosefrom;
2009-07-03 wenzelm 2009-07-03 observe SCALA_HOME, if available; no default classpath for scala-library.jar;
2009-06-14 wenzelm 2009-06-14 back to default -M max, with more robust interpretation of corresponding max_threads value;
2009-06-04 wenzelm 2009-06-04 example settings for Poly/ML 5.3 (experimental);
2009-06-04 wenzelm 2009-06-04 retrieve ML source files;
2009-06-04 wenzelm 2009-06-04 uniform default settings for E, Vampire, SPASS;
2009-05-31 wenzelm 2009-05-31 updated example settings;
2009-05-31 wenzelm 2009-05-31 discontinued support for Poly/ML 4.x versions;
2009-04-14 wenzelm 2009-04-14 ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
2009-03-31 wenzelm 2009-03-31 suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;