etc/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-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;
2001-02-05 wenzelm 2001-02-05 tuned;
2000-11-21 wenzelm 2000-11-21 tuned;
2000-10-12 wenzelm 2000-10-12 even smarter setup for several installations of Poly/ML 3.x and 4.0;
2000-09-25 wenzelm 2000-09-25 tuned auto paths;
2000-09-15 wenzelm 2000-09-15 XSYMBOL_INSTALLFONTS is back;
2000-09-15 wenzelm 2000-09-15 tentative fix while hunting gremlins ...;
2000-09-15 wenzelm 2000-09-15 #XSYMBOL_INSTALLFONTS;
2000-09-14 wenzelm 2000-09-14 added /usr/share/emacs/ProofGeneral/isar/interface choice;
2000-09-13 wenzelm 2000-09-13 easy settings: add /usr/local prefix; tuned;
2000-09-03 wenzelm 2000-09-03 GPLed;
2000-09-01 wenzelm 2000-09-01 more robust handling of spaces in args / file names; tuned;
2000-08-31 wenzelm 2000-08-31 more polyml choices; tuned;
2000-08-30 wenzelm 2000-08-30 tuned;
2000-08-30 wenzelm 2000-08-30 use polyml-version;
2000-08-24 wenzelm 2000-08-24 choosefrom: easy settings;
2000-08-10 wenzelm 2000-08-10 X-Symbol mode -- look in canonical place;
2000-07-06 wenzelm 2000-07-06 Moscow ML 2.00 or later (experimental!); tuned;
2000-07-04 wenzelm 2000-07-04 tuned comments; even smarter guessing of ProofGeneral location;
2000-07-01 wenzelm 2000-07-01 added site settings check;
2000-05-17 wenzelm 2000-05-17 Proof General -- if present make this the default;