etc/settings
Fri, 28 May 2010 20:41:23 +0200 assume given SCALA_HOME, e.g. from component settings or external setup;
Sat, 22 May 2010 20:20:51 +0200 use proper ISABELLE_PLATFORM instead of adhoc uname;
Sat, 22 May 2010 19:42:20 +0200 rendering information and style sheets via settings;
Tue, 20 Apr 2010 11:26:25 +0200 refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
Mon, 19 Apr 2010 10:56:26 +0200 polyml-platform script is superseded by ISABELLE_PLATFORM;
Sat, 17 Apr 2010 20:42:26 +0200 improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
Sat, 06 Feb 2010 22:54:53 +0100 removed ever experimental support for Moscow ML -- hardly works anymore;
Mon, 04 Jan 2010 11:55:23 +0100 discontinued special HOL_USEDIR_OPTIONS;
Sun, 29 Nov 2009 17:34:41 +0100 deactivated default for E_HOME, SPASS_HOME -- now configured as components;
Mon, 09 Nov 2009 21:30:54 +0100 setup for official Poly/ML 5.3.0, which is now the default;
Sat, 07 Nov 2009 16:54:13 +0100 tuned ML_OPTIONS for SML/NJ -- for improved performance;
Fri, 28 Aug 2009 10:52:44 +0200 PDF_VIEWER: more Unix-ish behaviour on Mac OS;
Sat, 22 Aug 2009 23:16:11 +0200 removed jedit setup -- now a self-contained component (external);
Thu, 06 Aug 2009 19:51:59 +0200 misc changes to SOS by Philipp Meyer:
Tue, 04 Aug 2009 01:01:23 +0200 basic support for components (which imitate the usual Isabelle directory layout);
Thu, 30 Jul 2009 23:23:52 +0200 ISABELLE_USEDIR_OPTIONS: -q 2 by default;
Sun, 19 Jul 2009 19:24:04 +0200 parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
Fri, 03 Jul 2009 10:54:26 +0200 SCALA_HOME: proper line escapes for choosefrom;
Fri, 03 Jul 2009 00:00:03 +0200 observe SCALA_HOME, if available;
Sun, 14 Jun 2009 23:18:32 +0200 back to default -M max, with more robust interpretation of corresponding max_threads value;
Thu, 04 Jun 2009 23:42:11 +0200 example settings for Poly/ML 5.3 (experimental);
Thu, 04 Jun 2009 22:01:54 +0200 retrieve ML source files;
Thu, 04 Jun 2009 12:09:07 +0200 uniform default settings for E, Vampire, SPASS;
Sun, 31 May 2009 14:16:32 +0200 updated example settings;
Sun, 31 May 2009 14:15:07 +0200 discontinued support for Poly/ML 4.x versions;
Tue, 14 Apr 2009 14:37:44 +0200 ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
Tue, 31 Mar 2009 12:07:17 +0200 suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;
Thu, 05 Mar 2009 10:19:51 +0100 Reintroduced previous changes: Made "Refute.norm_rhs" public and simplified the configuration of the BerkMin and zChaff SAT solvers.
Wed, 04 Mar 2009 11:05:29 +0100 Merge.
Wed, 04 Mar 2009 10:45:52 +0100 Merge.
Tue, 24 Feb 2009 16:12:27 +0100 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.
Sun, 01 Mar 2009 16:48:06 +0100 discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
Wed, 21 Jan 2009 15:26:02 +0100 removed vampire-wrapper (remote-script covers that)
Mon, 22 Dec 2008 14:40:27 +0100 more sophisticated MacOS interface script (mostly for Carbon Emacs);
Sat, 20 Dec 2008 11:55:34 +0100 removed Ids;
Thu, 11 Dec 2008 21:31:42 +0100 ISABELLE_USEDIR_OPTIONS: -M max is default;
Fri, 05 Dec 2008 18:15:52 +0100 uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
Sun, 30 Nov 2008 14:03:45 +0100 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 12:58:20 +0100 default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
Tue, 21 Oct 2008 23:54:42 +0200 less ambitious default for JEDIT_JAVA_OPTIONS;
Tue, 21 Oct 2008 22:21:28 +0200 JEDIT_OPTIONS: moved -settings to interface script (more robust);
Tue, 21 Oct 2008 21:59:22 +0200 make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
Tue, 21 Oct 2008 20:18:45 +0200 added jEdit settings;
Sat, 04 Oct 2008 17:40:56 +0200 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Fri, 03 Oct 2008 14:06:19 +0200 Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
Fri, 03 Oct 2008 13:21:01 +0200 added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
Tue, 16 Sep 2008 17:16:27 +0200 added PROOFGENERAL_HOME;
Sat, 16 Aug 2008 16:44:10 +0200 add scala-library.jar if available;
Sat, 16 Aug 2008 13:31:55 +0200 added ISABELLE_SCALA, ISABELLE_JAVA;
Fri, 15 Aug 2008 22:58:59 +0200 added JVM components (Scala or Java);
Sat, 14 Jun 2008 17:26:10 +0200 removed experimental Poplog/PML support;
Thu, 15 May 2008 20:02:37 +0200 removed obsolete thumbpdf;
Thu, 06 Mar 2008 19:21:23 +0100 removed obsolete THIS_IS_ISABELLE_BUILD feature;
Wed, 05 Mar 2008 22:48:50 +0100 ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
Fri, 25 Jan 2008 22:03:29 +0100 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
Fri, 14 Dec 2007 21:15:33 +0100 added ISABELLE_LINE_EDITOR;
Wed, 28 Nov 2007 19:54:50 +0100 polyml: default heap size is back to -H 200 (people are still using
Thu, 08 Nov 2007 20:07:57 +0100 tuned comments;
Sat, 20 Oct 2007 18:54:28 +0200 tuned;
Mon, 17 Sep 2007 11:11:13 +0200 platform-sensitive default location for ATP provers