etc/settings
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;
2000-03-06 wenzelm 2000-03-06 new Poly/ML setup made default;
1999-10-15 wenzelm 1999-10-15 fixed comment;
1999-10-14 wenzelm 1999-10-14 thumbpdf (disabled by default);
1999-10-09 wenzelm 1999-10-09 added ISABELLE_BIBTEX;
1999-10-07 wenzelm 1999-10-07 removed TeX environment hacking;
1999-10-07 wenzelm 1999-10-07 Document preparation setup;
1999-10-06 wenzelm 1999-10-06 ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
1999-08-19 wenzelm 1999-08-19 Mucke, Einhoven;
1999-08-06 wenzelm 1999-08-06 tuned;
1999-08-06 wenzelm 1999-08-06 External reasoning tools;
1999-08-06 paulson 1999-08-06 no longer gives a default value to SVC_MACHINE
1999-08-03 paulson 1999-08-03 new variables for SVC
1999-07-28 wenzelm 1999-07-28 ML_HOME=$ISABELLE_HOME/../smlnj/bin;
1999-04-21 wenzelm 1999-04-21 $ML_HOME/.arch-n-opsys 2>/dev/null;
1999-04-21 wenzelm 1999-04-21 smlnj-110 setup made default;
1999-04-21 wenzelm 1999-04-21 /usr/share/smlnj/bin;
1999-04-12 wenzelm 1999-04-12 ML_PLATFORM;
1998-11-25 wenzelm 1998-11-25 improved comment; removed ISABELLE_INTERFACE_OPTIONS; added ProofGeneral;
1998-10-26 wenzelm 1998-10-26 ML_SYSTEM=polyml-3.1;
1998-10-24 wenzelm 1998-10-24 ML_SYSTEM factory default;
1998-10-21 wenzelm 1998-10-21 dropped support for SML/NJ 109.x;
1998-10-16 wenzelm 1998-10-16 MLWorks 2.0;
1998-08-27 wenzelm 1998-08-27 ISABELLE_USEDIR_OPTIONS="-i false";
1998-03-09 wenzelm 1998-03-09 replaced $LOGNAME by $USER;
1998-01-15 wenzelm 1998-01-15 polyml-3.1;
1998-01-14 wenzelm 1998-01-14 smlnj-110 factory default;
1998-01-09 wenzelm 1998-01-09 ISABELLE_TMP_PREFIX: $LOGNAME
1997-12-17 wenzelm 1997-12-17 added mlworks;
1997-12-15 wenzelm 1997-12-15 polyml-3.1;
1997-12-15 wenzelm 1997-12-15 make smlnj-110 default;
1997-12-13 wenzelm 1997-12-13 smlnj-110;
1997-12-01 wenzelm 1997-12-01 ISABELLE_TMP_PREFIX;
1997-09-22 paulson 1997-09-22 Added Cambridge font server
1997-08-07 berghofe 1997-08-07 Added new environment variable ISABELLE_BROWSER_INFO.
1997-08-05 wenzelm 1997-08-05 removed smlnj-1.07;