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