etc/settings
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;
2009-03-05 blanchet 2009-03-05 Reintroduced previous changes: Made "Refute.norm_rhs" public and simplified the configuration of the BerkMin and zChaff SAT solvers.
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-24 blanchet 2009-02-24 Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number. I also made the BERKMIN_EXE variable optional, defaulting to BerkMin561 (a reasonable name with no platform encoded in it). These changes have no inpacts on already working Isabelle installations.
2009-03-01 wenzelm 2009-03-01 discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
2009-01-21 immler 2009-01-21 removed vampire-wrapper (remote-script covers that)
2008-12-22 wenzelm 2008-12-22 more sophisticated MacOS interface script (mostly for Carbon Emacs); no longer include MacPorts path; simplified default PROOFGENERAL_OPTIONS, removed PROOFGENERAL_EMACS;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-12-11 wenzelm 2008-12-11 ISABELLE_USEDIR_OPTIONS: -M max is default;