etc/settings
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;
1997-05-27 wenzelm 1997-05-27 polyml-3.1 default again (for local work);
1997-05-27 wenzelm 1997-05-27 NJ 1.09.2x as factory default!
1997-05-26 wenzelm 1997-05-26 tuned comment;
1997-05-23 wenzelm 1997-05-23 remove cl.cam font server;
1997-05-22 wenzelm 1997-05-22 tuned Isamode stuff;
1997-05-20 wenzelm 1997-05-20 removed Cambridge font server;
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 wenzelm 1997-05-14 ML_SYSTEM is polyml-3.1 again;
1997-05-14 wenzelm 1997-05-14 tuned comments; NJ 1.09.27 now default;
1997-05-12 wenzelm 1997-05-12 improved comments;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 improved DVI_VIEWER default;
1997-04-22 wenzelm 1997-04-22 improved fontserver example;
1997-04-17 wenzelm 1997-04-17 fixed ISAMODE_HOME;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-04 wenzelm 1997-04-04 replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
1997-03-11 wenzelm 1997-03-11 tuned comments;
1997-03-11 wenzelm 1997-03-11 added THIS_IS_ISABELLE_BUILD discrimination;
1997-03-07 wenzelm 1997-03-07 pass xterm mode by default;
1997-02-27 wenzelm 1997-02-27 tuned comments;
1997-02-07 wenzelm 1997-02-07 tuned; removed ISABELLE_SYMBOLS;
1997-02-04 wenzelm 1997-02-04 added ISABELLE_INSTALLFONTS;
1997-01-07 wenzelm 1997-01-07 added dvi viewer alternative;
1996-12-20 wenzelm 1996-12-20 changed xterm geometry;