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