etc/settings
1999-08-19 ago Mucke, Einhoven;
1999-08-06 ago tuned;
1999-08-06 ago External reasoning tools;
1999-08-06 ago no longer gives a default value to SVC_MACHINE
1999-08-03 ago new variables for SVC
1999-07-28 ago ML_HOME=$ISABELLE_HOME/../smlnj/bin;
1999-04-21 ago $ML_HOME/.arch-n-opsys 2>/dev/null;
1999-04-21 ago smlnj-110 setup made default;
1999-04-21 ago /usr/share/smlnj/bin;
1999-04-12 ago ML_PLATFORM;
1998-11-25 ago improved comment;
1998-10-26 ago ML_SYSTEM=polyml-3.1;
1998-10-24 ago ML_SYSTEM factory default;
1998-10-21 ago dropped support for SML/NJ 109.x;
1998-10-16 ago MLWorks 2.0;
1998-08-27 ago ISABELLE_USEDIR_OPTIONS="-i false";
1998-03-09 ago replaced $LOGNAME by $USER;
1998-01-15 ago polyml-3.1;
1998-01-14 ago smlnj-110 factory default;
1998-01-09 ago ISABELLE_TMP_PREFIX: $LOGNAME
1997-12-17 ago added mlworks;
1997-12-15 ago polyml-3.1;
1997-12-15 ago make smlnj-110 default;
1997-12-13 ago smlnj-110;
1997-12-01 ago ISABELLE_TMP_PREFIX;
1997-09-22 ago Added Cambridge font server
1997-08-07 ago Added new environment variable ISABELLE_BROWSER_INFO.
1997-08-05 ago removed smlnj-1.07;
1997-05-27 ago polyml-3.1 default again (for local work);
1997-05-27 ago NJ 1.09.2x as factory default!
1997-05-26 ago tuned comment;
1997-05-23 ago remove cl.cam font server;
1997-05-22 ago tuned Isamode stuff;
1997-05-20 ago removed Cambridge font server;
1997-05-14 ago renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 ago ML_SYSTEM is polyml-3.1 again;
1997-05-14 ago tuned comments;
1997-05-12 ago improved comments;
1997-05-06 ago fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 ago improved DVI_VIEWER default;
1997-04-22 ago improved fontserver example;
1997-04-17 ago fixed ISAMODE_HOME;
1997-04-17 ago eliminated PLATFORM;
1997-04-04 ago replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
1997-03-11 ago tuned comments;
1997-03-11 ago added THIS_IS_ISABELLE_BUILD discrimination;
1997-03-07 ago pass xterm mode by default;
1997-02-27 ago tuned comments;
1997-02-07 ago tuned;
1997-02-04 ago added ISABELLE_INSTALLFONTS;
1997-01-07 ago added dvi viewer alternative;
1996-12-20 ago changed xterm geometry;
1996-12-18 ago added ISABELLE_HTML;
1996-12-17 ago major cleanup;
1996-12-16 ago added smlnj-0.93;
1996-12-09 ago added DVI_VIEWER for 600dpi fonts;
1996-12-09 ago added ISABELLE_DOCS;
1996-12-04 ago added ISAMODE_HOME;
1996-12-02 ago settings: Isabelle settings -- site defaults.