| 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.
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 15:26:02 +0100 |
immler |
removed vampire-wrapper (remote-script covers that)
|
file |
diff |
annotate
|
| Mon, 22 Dec 2008 14:40:27 +0100 |
wenzelm |
more sophisticated MacOS interface script (mostly for Carbon Emacs);
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 11 Dec 2008 21:31:42 +0100 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -M max is default;
|
file |
diff |
annotate
|
| Fri, 05 Dec 2008 18:15:52 +0100 |
wenzelm |
uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:03:45 +0100 |
wenzelm |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 12:58:20 +0100 |
wenzelm |
default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 23:54:42 +0200 |
wenzelm |
less ambitious default for JEDIT_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 22:21:28 +0200 |
wenzelm |
JEDIT_OPTIONS: moved -settings to interface script (more robust);
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:59:22 +0200 |
wenzelm |
make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:45 +0200 |
wenzelm |
added jEdit settings;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 14:06:19 +0200 |
wenzelm |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 13:21:01 +0200 |
wenzelm |
added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 17:16:27 +0200 |
wenzelm |
added PROOFGENERAL_HOME;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 16:44:10 +0200 |
wenzelm |
add scala-library.jar if available;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 13:31:55 +0200 |
wenzelm |
added ISABELLE_SCALA, ISABELLE_JAVA;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 22:58:59 +0200 |
wenzelm |
added JVM components (Scala or Java);
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 17:26:10 +0200 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:02:37 +0200 |
wenzelm |
removed obsolete thumbpdf;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 19:21:23 +0100 |
wenzelm |
removed obsolete THIS_IS_ISABELLE_BUILD feature;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2008 22:48:50 +0100 |
wenzelm |
ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 22:03:29 +0100 |
wenzelm |
* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2007 21:15:33 +0100 |
wenzelm |
added ISABELLE_LINE_EDITOR;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 19:54:50 +0100 |
wenzelm |
polyml: default heap size is back to -H 200 (people are still using
|
file |
diff |
annotate
|
| Thu, 08 Nov 2007 20:07:57 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2007 18:54:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 11:11:13 +0200 |
haftmann |
platform-sensitive default location for ATP provers
|
file |
diff |
annotate
|
| Thu, 06 Sep 2007 17:06:04 +0200 |
paulson |
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 23:06:27 +0200 |
wenzelm |
renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 22:47:01 +0200 |
wenzelm |
added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin);
|
file |
diff |
annotate
|
| Mon, 27 Aug 2007 17:34:55 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:54:19 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:41:57 +0200 |
wenzelm |
added jEdit mode spec;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 01:17:57 +0200 |
kleing |
increase default max heap size for poly to -H 500 (this is what isatest uses,
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 22:51:13 +0200 |
wenzelm |
added ISABELLE_FILE_IDENT (command line for source file identification);
|
file |
diff |
annotate
|
| Wed, 30 May 2007 23:32:54 +0200 |
wenzelm |
tuned USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2007 16:43:47 +0100 |
wenzelm |
tuned comments
|
file |
diff |
annotate
|
| Wed, 13 Dec 2006 12:10:54 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 18:33:29 +0100 |
wenzelm |
setup for polyml-5.0;
|
file |
diff |
annotate
|
| Thu, 23 Nov 2006 18:49:03 +0100 |
wenzelm |
ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2006 19:25:38 +0100 |
wenzelm |
HOL_USEDIR_OPTIONS: -p 1 by default;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2006 22:56:10 +0200 |
wenzelm |
increased heap size for polyml-4.9.1;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2006 20:30:53 +0200 |
wenzelm |
added Poly/ML 4.9.1 (experimental!);
|
file |
diff |
annotate
|
| Fri, 07 Jul 2006 02:12:52 +0200 |
webertj |
added support for MiniSat 1.14
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 15:38:53 +0100 |
wenzelm |
fixed example;
|
file |
diff |
annotate
|
| Fri, 10 Feb 2006 02:22:13 +0100 |
wenzelm |
simplified polyml example;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 16:34:22 +0200 |
wenzelm |
added simplified settings for Poly/ML 4.x (commented out);
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 16:22:59 +0200 |
wenzelm |
reverted (accidental?) change of 1.148;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 02:57:22 +0200 |
mengj |
Merged theory ResAtpOracle.thy into ResAtpMethods.thy
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 14:51:12 +0200 |
wenzelm |
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
|
file |
diff |
annotate
|
| 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").
|
file |
diff |
annotate
|
| Tue, 11 Oct 2005 13:30:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 20:15:32 +0200 |
wenzelm |
Poplog/PML: ML_SUFFIX=.psv;
|
file |
diff |
annotate
|
| Wed, 05 Oct 2005 19:28:12 +0200 |
wenzelm |
added Poplog/PML version 15.6/2.1 (experimental!);
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 20:26:45 +0200 |
wenzelm |
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 16:19:51 +0200 |
webertj |
pointers to src/HOL/Tools/sat_solver.ML added in comments
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 22:04:34 +0200 |
wenzelm |
no longer prefer xemacs, which fails more often than GNU emacs;
|
file |
diff |
annotate
|