etc/settings
Mon, 14 Mar 2011 15:17:10 +0100 wenzelm example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
Sun, 13 Mar 2011 20:56:00 +0100 wenzelm files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
Sun, 13 Mar 2011 17:35:35 +0100 wenzelm some cleanup of old-style settings;
Sun, 13 Mar 2011 17:28:14 +0100 wenzelm clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
Tue, 18 Jan 2011 21:29:56 +0100 wenzelm Apple's way of locating java;
Mon, 10 Jan 2011 17:22:48 +0100 wenzelm updated for polyml-5.4.0;
Tue, 16 Nov 2010 22:13:54 +0100 wenzelm more robust determination of java executable;
Mon, 15 Nov 2010 17:14:43 +0100 wenzelm more robust treatment of spaces in file names;
Fri, 05 Nov 2010 23:19:20 +0100 wenzelm moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
Fri, 28 May 2010 20:41:23 +0200 wenzelm assume given SCALA_HOME, e.g. from component settings or external setup;
Sat, 22 May 2010 20:20:51 +0200 wenzelm use proper ISABELLE_PLATFORM instead of adhoc uname;
Sat, 22 May 2010 19:42:20 +0200 wenzelm rendering information and style sheets via settings;
Tue, 20 Apr 2010 11:26:25 +0200 wenzelm 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 wenzelm polyml-platform script is superseded by ISABELLE_PLATFORM;
Sat, 17 Apr 2010 20:42:26 +0200 wenzelm improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
Sat, 06 Feb 2010 22:54:53 +0100 wenzelm removed ever experimental support for Moscow ML -- hardly works anymore;
Mon, 04 Jan 2010 11:55:23 +0100 wenzelm discontinued special HOL_USEDIR_OPTIONS;
Sun, 29 Nov 2009 17:34:41 +0100 wenzelm deactivated default for E_HOME, SPASS_HOME -- now configured as components;
Mon, 09 Nov 2009 21:30:54 +0100 wenzelm setup for official Poly/ML 5.3.0, which is now the default;
Sat, 07 Nov 2009 16:54:13 +0100 wenzelm tuned ML_OPTIONS for SML/NJ -- for improved performance;
Fri, 28 Aug 2009 10:52:44 +0200 wenzelm PDF_VIEWER: more Unix-ish behaviour on Mac OS;
Sat, 22 Aug 2009 23:16:11 +0200 wenzelm removed jedit setup -- now a self-contained component (external);
Thu, 06 Aug 2009 19:51:59 +0200 wenzelm misc changes to SOS by Philipp Meyer:
Tue, 04 Aug 2009 01:01:23 +0200 wenzelm basic support for components (which imitate the usual Isabelle directory layout);
Thu, 30 Jul 2009 23:23:52 +0200 wenzelm ISABELLE_USEDIR_OPTIONS: -q 2 by default;
Sun, 19 Jul 2009 19:24:04 +0200 wenzelm parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
Fri, 03 Jul 2009 10:54:26 +0200 wenzelm SCALA_HOME: proper line escapes for choosefrom;
Fri, 03 Jul 2009 00:00:03 +0200 wenzelm observe SCALA_HOME, if available;
Sun, 14 Jun 2009 23:18:32 +0200 wenzelm back to default -M max, with more robust interpretation of corresponding max_threads value;
Thu, 04 Jun 2009 23:42:11 +0200 wenzelm example settings for Poly/ML 5.3 (experimental);
Thu, 04 Jun 2009 22:01:54 +0200 wenzelm retrieve ML source files;
Thu, 04 Jun 2009 12:09:07 +0200 wenzelm uniform default settings for E, Vampire, SPASS;
Sun, 31 May 2009 14:16:32 +0200 wenzelm updated example settings;
Sun, 31 May 2009 14:15:07 +0200 wenzelm discontinued support for Poly/ML 4.x versions;
Tue, 14 Apr 2009 14:37:44 +0200 wenzelm 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 wenzelm 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 blanchet 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 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Tue, 24 Feb 2009 16:12:27 +0100 blanchet 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 wenzelm 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 immler removed vampire-wrapper (remote-script covers that)
Mon, 22 Dec 2008 14:40:27 +0100 wenzelm more sophisticated MacOS interface script (mostly for Carbon Emacs);
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Thu, 11 Dec 2008 21:31:42 +0100 wenzelm ISABELLE_USEDIR_OPTIONS: -M max is default;
Fri, 05 Dec 2008 18:15:52 +0100 wenzelm uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
Sun, 30 Nov 2008 14:03:45 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 12:58:20 +0100 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
Tue, 21 Oct 2008 23:54:42 +0200 wenzelm less ambitious default for JEDIT_JAVA_OPTIONS;
Tue, 21 Oct 2008 22:21:28 +0200 wenzelm JEDIT_OPTIONS: moved -settings to interface script (more robust);
Tue, 21 Oct 2008 21:59:22 +0200 wenzelm make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
Tue, 21 Oct 2008 20:18:45 +0200 wenzelm added jEdit settings;
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Fri, 03 Oct 2008 14:06:19 +0200 wenzelm Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
Fri, 03 Oct 2008 13:21:01 +0200 wenzelm added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
Tue, 16 Sep 2008 17:16:27 +0200 wenzelm added PROOFGENERAL_HOME;
Sat, 16 Aug 2008 16:44:10 +0200 wenzelm add scala-library.jar if available;
Sat, 16 Aug 2008 13:31:55 +0200 wenzelm added ISABELLE_SCALA, ISABELLE_JAVA;
Fri, 15 Aug 2008 22:58:59 +0200 wenzelm added JVM components (Scala or Java);
Sat, 14 Jun 2008 17:26:10 +0200 wenzelm removed experimental Poplog/PML support;
Thu, 15 May 2008 20:02:37 +0200 wenzelm removed obsolete thumbpdf;
Thu, 06 Mar 2008 19:21:23 +0100 wenzelm removed obsolete THIS_IS_ISABELLE_BUILD feature;
Wed, 05 Mar 2008 22:48:50 +0100 wenzelm ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
Fri, 25 Jan 2008 22:03:29 +0100 wenzelm * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
Fri, 14 Dec 2007 21:15:33 +0100 wenzelm added ISABELLE_LINE_EDITOR;
Wed, 28 Nov 2007 19:54:50 +0100 wenzelm polyml: default heap size is back to -H 200 (people are still using
Thu, 08 Nov 2007 20:07:57 +0100 wenzelm tuned comments;
Sat, 20 Oct 2007 18:54:28 +0200 wenzelm tuned;
Mon, 17 Sep 2007 11:11:13 +0200 haftmann platform-sensitive default location for ATP provers
Thu, 06 Sep 2007 17:06:04 +0200 paulson Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
Wed, 29 Aug 2007 23:06:27 +0200 wenzelm renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;
Wed, 29 Aug 2007 22:47:01 +0200 wenzelm added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin);
Mon, 27 Aug 2007 17:34:55 +0200 wenzelm HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);
Fri, 10 Aug 2007 10:54:19 +0200 wenzelm HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
Fri, 10 Aug 2007 10:41:57 +0200 wenzelm added jEdit mode spec;
Mon, 23 Jul 2007 01:17:57 +0200 kleing increase default max heap size for poly to -H 500 (this is what isatest uses,
Tue, 17 Jul 2007 22:51:13 +0200 wenzelm added ISABELLE_FILE_IDENT (command line for source file identification);
Wed, 30 May 2007 23:32:54 +0200 wenzelm tuned USEDIR_OPTIONS;
Sun, 21 Jan 2007 16:43:47 +0100 wenzelm tuned comments
Wed, 13 Dec 2006 12:10:54 +0100 wenzelm tuned comments;
Tue, 05 Dec 2006 18:33:29 +0100 wenzelm setup for polyml-5.0;
Thu, 23 Nov 2006 18:49:03 +0100 wenzelm ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER;
Sat, 04 Nov 2006 19:25:38 +0100 wenzelm HOL_USEDIR_OPTIONS: -p 1 by default;
Wed, 11 Oct 2006 22:56:10 +0200 wenzelm increased heap size for polyml-4.9.1;
Thu, 28 Sep 2006 20:30:53 +0200 wenzelm added Poly/ML 4.9.1 (experimental!);
Fri, 07 Jul 2006 02:12:52 +0200 webertj added support for MiniSat 1.14
Tue, 21 Mar 2006 15:38:53 +0100 wenzelm fixed example;
Fri, 10 Feb 2006 02:22:13 +0100 wenzelm simplified polyml example;
Fri, 21 Oct 2005 16:34:22 +0200 wenzelm added simplified settings for Poly/ML 4.x (commented out);
Fri, 21 Oct 2005 16:22:59 +0200 wenzelm reverted (accidental?) change of 1.148;
Fri, 21 Oct 2005 02:57:22 +0200 mengj Merged theory ResAtpOracle.thy into ResAtpMethods.thy
Wed, 19 Oct 2005 14:51:12 +0200 wenzelm moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
Wed, 19 Oct 2005 06:33:24 +0200 mengj Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").
Tue, 11 Oct 2005 13:30:17 +0200 wenzelm tuned;
Sat, 08 Oct 2005 20:15:32 +0200 wenzelm Poplog/PML: ML_SUFFIX=.psv;
Wed, 05 Oct 2005 19:28:12 +0200 wenzelm added Poplog/PML version 15.6/2.1 (experimental!);
Wed, 21 Sep 2005 20:26:45 +0200 wenzelm PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
Tue, 20 Sep 2005 16:19:51 +0200 webertj pointers to src/HOL/Tools/sat_solver.ML added in comments
Wed, 14 Sep 2005 22:04:34 +0200 wenzelm no longer prefer xemacs, which fails more often than GNU emacs;
Thu, 18 Aug 2005 12:11:06 +0200 wenzelm tuned;
Tue, 16 Aug 2005 13:42:14 +0200 wenzelm -V outline=/proof,/ML;
Tue, 02 Aug 2005 21:29:06 +0200 wenzelm tuned ML_OPTIONS;
Tue, 02 Aug 2005 19:47:11 +0200 wenzelm tuned;
Mon, 01 Aug 2005 19:20:21 +0200 wenzelm polyml: use polyml-platform/version from Isabelle distribution;
Mon, 01 Aug 2005 11:39:33 +0200 obua 1. changed configuration variables for linear programming (Cplex_tools):
Tue, 19 Jul 2005 17:21:46 +0200 wenzelm retract accidental user commit;
Tue, 19 Jul 2005 16:16:53 +0200 obua proving bounds for real linear programs
Tue, 12 Jul 2005 17:56:03 +0200 avigad added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
Fri, 17 Jun 2005 17:06:11 +0200 wenzelm updated;
Sun, 05 Jun 2005 11:31:13 +0200 wenzelm #SMLNJ_CYGWIN_RUNTIME=1
Thu, 02 Jun 2005 18:29:46 +0200 wenzelm renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
Tue, 17 May 2005 18:10:35 +0200 wenzelm removed ISAMODE settings;
Fri, 29 Apr 2005 08:05:06 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Fri, 29 Apr 2005 08:03:01 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Wed, 27 Apr 2005 23:04:50 +0200 gagern removed --version which is not a valid polyml flag and has no effect
Tue, 26 Apr 2005 19:50:31 +0200 wenzelm reverted accidental commit of user modification;
Wed, 20 Apr 2005 22:37:29 +0200 gagern Fix automatic determination of poly version.
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code.
Thu, 14 Apr 2005 19:30:57 +0200 aspinall Include automatic determination of poly version.
Wed, 13 Apr 2005 18:48:05 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
less more (0) -120 tip