etc/settings
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;
less more (0) -100 -60 tip