etc/settings
2015-02-23 wenzelm 2015-02-23 more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
2014-12-11 wenzelm 2014-12-11 added Par_List in Scala, in accordance to ML version; system property "isabelle.threads" determines size of Scala thread pool, like system option "threads" for ML; avoid ".par" framework with its hard-wired thread pool, which also has problems with cancellation; tuned;
2014-10-09 wenzelm 2014-10-09 prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
2014-07-01 wenzelm 2014-07-01 more release notes;
2014-06-30 wenzelm 2014-06-30 tuned comments;
2014-06-30 wenzelm 2014-06-30 "isabelle tty" is superseded by "isabelle console";
2014-04-23 wenzelm 2014-04-23 tuned options for scalac;
2014-04-22 wenzelm 2014-04-22 updated to scala-2.11.0 with classpath provided by its etc/settings;
2014-04-22 wenzelm 2014-04-22 no need to copy jars, after regular use of classpath in 793a429c63e7;
2014-04-05 wenzelm 2014-04-05 proper settings instead of hard-wired information;
2014-01-06 wenzelm 2014-01-06 misc tuning and clarification;
2014-01-06 wenzelm 2014-01-06 tuned comments;
2013-12-06 wenzelm 2013-12-06 generic $ISABELLE_OPEN;
2013-12-06 wenzelm 2013-12-06 clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
2013-10-07 wenzelm 2013-10-07 prefer "fresh" open -- requires Lion / Mountain Lion;
2013-10-02 wenzelm 2013-10-02 unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
2013-09-12 wenzelm 2013-09-12 clarified directory structure;
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-08-31 wenzelm 2013-08-31 provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
2013-07-30 wenzelm 2013-07-30 tuned comments;
2013-07-27 wenzelm 2013-07-27 discontinued historic document formats;
2013-07-27 wenzelm 2013-07-27 discontinued ISABELLE_DOC_FORMAT;
2013-07-07 wenzelm 2013-07-07 discontinued obsolete "isabelle print";
2013-06-25 wenzelm 2013-06-25 prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
2013-05-17 wenzelm 2013-05-17 discontinued obsolete isabelle usedir, mkdir, make;
2013-05-14 wenzelm 2013-05-14 more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
2013-05-12 wenzelm 2013-05-12 decentralized historic settings;
2013-03-09 wenzelm 2013-03-09 accomodate encrypted file-system on linux;
2012-11-25 wenzelm 2012-11-25 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
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 (isafonts.informatik.tu-muenchen.de:7200 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;