etc/settings
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;
2005-08-01 wenzelm 2005-08-01 polyml: use polyml-platform/version from Isabelle distribution; removed DEFS_CHAIN_HISTORY;
2005-08-01 obua 2005-08-01 1. changed configuration variables for linear programming (Cplex_tools): LP_SOLVER is either CPLEX or GLPK CPLEX_PATH is the path to the cplex binary GLPK_PATH is the path to the glpk binary The change makes it possible to switch between glpk and cplex at runtime. 2. moved conflicting list theories out of Library.thy into ROOT.ML
2005-07-19 wenzelm 2005-07-19 retract accidental user commit; removed obsolete XSYMBOL_HOME; tuned;
2005-07-19 obua 2005-07-19 proving bounds for real linear programs
2005-07-12 avigad 2005-07-12 added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities) added lemmas to Ring_and_Field.thy (reasoning about signs, fractions, etc.) renamed simplification rules for abs (abs_of_pos, etc.) renamed rules for multiplication and signs (mult_pos_pos, etc.) moved lemmas involving fractions from NatSimprocs.thy added setsum_mono3 to FiniteSet.thy added simplification rules for powers to Parity.thy
2005-06-17 wenzelm 2005-06-17 updated;
2005-06-05 wenzelm 2005-06-05 #SMLNJ_CYGWIN_RUNTIME=1
2005-06-02 wenzelm 2005-06-02 renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS; tuned;
2005-05-17 wenzelm 2005-05-17 removed ISAMODE settings;
2005-04-29 haftmann 2005-04-29 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
2005-04-29 haftmann 2005-04-29 added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
2005-04-27 gagern 2005-04-27 removed --version which is not a valid polyml flag and has no effect
2005-04-26 wenzelm 2005-04-26 reverted accidental commit of user modification;
2005-04-20 gagern 2005-04-20 Fix automatic determination of poly version.
2005-04-20 quigley 2005-04-20 Removed remaining references to Main.thy in reconstruction code.
2005-04-14 aspinall 2005-04-14 Include automatic determination of poly version.
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** ISABELLE_DOC_FORMAT;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-02-06 paulson 2005-02-06 fixed mac line
2004-11-25 webertj 2004-11-25 added ZCHAFF_VERSION
2004-11-14 webertj 2004-11-14 *** empty log message ***
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2004-10-04 paulson 2004-10-04 PDF_VIEWER suggestion
2004-09-30 kleing 2004-09-30 display pdf as well as dvi
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-15 webertj 2004-06-15 Jerusat settings added
2004-06-15 webertj 2004-06-15 entries for ZChaff and BerkMin added/modified
2004-06-13 wenzelm 2004-06-13 added PRINT_COMMAND setting
2004-06-05 wenzelm 2004-06-05 removed mlworks and smlnj-0.93 (obsolete);
2004-04-17 kleing 2004-04-17 do not mention poly 3.x any more (it is untested)
2004-03-11 kleing 2004-03-11 look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only if no multi platform installation found.
2004-03-10 webertj 2004-03-10 ZCHAFF_HOME variable added
2004-03-09 kleing 2004-03-09 include more explanation of variables
2004-01-08 kleing 2004-01-08 run makeindex if necessary
2003-10-31 kleing 2003-10-31 fixed
2003-10-31 kleing 2003-10-31 set isatool usedir to verbose by default
2003-05-26 kleing 2003-05-26 set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible) switched off by default
2003-04-23 kleing 2003-04-23 more documentation
2002-03-01 wenzelm 2002-03-01 tuned;
2002-01-21 wenzelm 2002-01-21 wild guess at polyml-4.1.2;
2002-01-14 wenzelm 2002-01-14 ML_OPTIONS="-h 15000" (used to be 30000);
2002-01-09 wenzelm 2002-01-09 removed TEXINPUTS;
2001-12-19 wenzelm 2001-12-19 tuned;
2001-12-12 wenzelm 2001-12-12 removed installfonts, xterm interface; improved default of PROOFGENERAL_OPTIONS;
2001-10-29 wenzelm 2001-10-29 tuned;
2001-10-16 wenzelm 2001-10-16 ISABELLE_EPSTOPDF="epstopdf";
2001-09-26 wenzelm 2001-09-26 updated;
2001-09-08 wenzelm 2001-09-08 ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
2001-02-13 wenzelm 2001-02-13 tuned;