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