etc/settings
2001-12-12 wenzelm removed installfonts, xterm interface;
2001-10-29 wenzelm tuned;
2001-10-16 wenzelm ISABELLE_EPSTOPDF="epstopdf";
2001-09-26 wenzelm updated;
2001-09-08 wenzelm ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
2001-02-13 wenzelm tuned;
2001-02-05 wenzelm tuned;
2000-11-21 wenzelm tuned;
2000-10-12 wenzelm even smarter setup for several installations of Poly/ML 3.x and 4.0;
2000-09-25 wenzelm tuned auto paths;
2000-09-15 wenzelm XSYMBOL_INSTALLFONTS is back;
2000-09-15 wenzelm tentative fix while hunting gremlins ...;
2000-09-15 wenzelm #XSYMBOL_INSTALLFONTS;
2000-09-14 wenzelm added /usr/share/emacs/ProofGeneral/isar/interface choice;
2000-09-13 wenzelm easy settings: add /usr/local prefix;
2000-09-03 wenzelm GPLed;
2000-09-01 wenzelm more robust handling of spaces in args / file names;
2000-08-30 wenzelm more polyml choices;
2000-08-30 wenzelm tuned;
2000-08-30 wenzelm use polyml-version;
2000-08-23 wenzelm choosefrom: easy settings;
2000-08-09 wenzelm X-Symbol mode -- look in canonical place;
2000-07-05 wenzelm Moscow ML 2.00 or later (experimental!);
2000-07-03 wenzelm tuned comments;
2000-07-01 wenzelm added site settings check;
2000-05-17 wenzelm Proof General -- if present make this the default;
2000-03-06 wenzelm new Poly/ML setup made default;
1999-10-15 wenzelm fixed comment;
1999-10-14 wenzelm thumbpdf (disabled by default);
1999-10-09 wenzelm added ISABELLE_BIBTEX;
1999-10-07 wenzelm removed TeX environment hacking;
1999-10-07 wenzelm Document preparation setup;
1999-10-06 wenzelm ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
1999-08-19 wenzelm Mucke, Einhoven;
1999-08-06 wenzelm tuned;
1999-08-06 wenzelm External reasoning tools;
1999-08-06 paulson no longer gives a default value to SVC_MACHINE
1999-08-03 paulson new variables for SVC
1999-07-28 wenzelm ML_HOME=$ISABELLE_HOME/../smlnj/bin;
1999-04-21 wenzelm $ML_HOME/.arch-n-opsys 2>/dev/null;
1999-04-21 wenzelm smlnj-110 setup made default;
1999-04-21 wenzelm /usr/share/smlnj/bin;
1999-04-12 wenzelm ML_PLATFORM;
1998-11-25 wenzelm improved comment;
1998-10-26 wenzelm ML_SYSTEM=polyml-3.1;
1998-10-24 wenzelm ML_SYSTEM factory default;
1998-10-21 wenzelm dropped support for SML/NJ 109.x;
1998-10-16 wenzelm MLWorks 2.0;
1998-08-27 wenzelm ISABELLE_USEDIR_OPTIONS="-i false";
1998-03-09 wenzelm replaced $LOGNAME by $USER;
1998-01-15 wenzelm polyml-3.1;
1998-01-14 wenzelm smlnj-110 factory default;
1998-01-09 wenzelm ISABELLE_TMP_PREFIX: $LOGNAME
1997-12-17 wenzelm added mlworks;
1997-12-15 wenzelm polyml-3.1;
1997-12-15 wenzelm make smlnj-110 default;
1997-12-13 wenzelm smlnj-110;
1997-12-01 wenzelm ISABELLE_TMP_PREFIX;
1997-09-22 paulson Added Cambridge font server
1997-08-07 berghofe Added new environment variable ISABELLE_BROWSER_INFO.
less more (0) -60 tip