| Wed, 25 Nov 1998 14:06:13 +0100 |
wenzelm |
improved comment;
|
file |
diff |
annotate
|
| Mon, 26 Oct 1998 13:05:08 +0100 |
wenzelm |
ML_SYSTEM=polyml-3.1;
|
file |
diff |
annotate
|
| Sat, 24 Oct 1998 21:21:21 +0200 |
wenzelm |
ML_SYSTEM factory default;
|
file |
diff |
annotate
|
| Wed, 21 Oct 1998 14:05:49 +0200 |
wenzelm |
dropped support for SML/NJ 109.x;
|
file |
diff |
annotate
|
| Fri, 16 Oct 1998 18:50:50 +0200 |
wenzelm |
MLWorks 2.0;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 13:53:41 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS="-i false";
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:15:24 +0100 |
wenzelm |
replaced $LOGNAME by $USER;
|
file |
diff |
annotate
|
| Thu, 15 Jan 1998 14:15:57 +0100 |
wenzelm |
polyml-3.1;
|
file |
diff |
annotate
|
| Wed, 14 Jan 1998 10:28:21 +0100 |
wenzelm |
smlnj-110 factory default;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 14:01:48 +0100 |
wenzelm |
ISABELLE_TMP_PREFIX: $LOGNAME
|
file |
diff |
annotate
|
| Wed, 17 Dec 1997 17:59:18 +0100 |
wenzelm |
added mlworks;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:27:03 +0100 |
wenzelm |
polyml-3.1;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:18:46 +0100 |
wenzelm |
make smlnj-110 default;
|
file |
diff |
annotate
|
| Sat, 13 Dec 1997 17:22:15 +0100 |
wenzelm |
smlnj-110;
|
file |
diff |
annotate
|
| Mon, 01 Dec 1997 18:22:38 +0100 |
wenzelm |
ISABELLE_TMP_PREFIX;
|
file |
diff |
annotate
|
| Mon, 22 Sep 1997 16:08:45 +0200 |
paulson |
Added Cambridge font server
|
file |
diff |
annotate
|
| Thu, 07 Aug 1997 23:37:53 +0200 |
berghofe |
Added new environment variable ISABELLE_BROWSER_INFO.
|
file |
diff |
annotate
|
| Tue, 05 Aug 1997 17:21:24 +0200 |
wenzelm |
removed smlnj-1.07;
|
file |
diff |
annotate
|
| Tue, 27 May 1997 17:49:52 +0200 |
wenzelm |
polyml-3.1 default again (for local work);
|
file |
diff |
annotate
|
| Tue, 27 May 1997 15:45:07 +0200 |
wenzelm |
NJ 1.09.2x as factory default!
Isabelle94-8
|
file |
diff |
annotate
|
| Mon, 26 May 1997 13:45:39 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Fri, 23 May 1997 11:28:22 +0200 |
wenzelm |
remove cl.cam font server;
|
file |
diff |
annotate
|
| Thu, 22 May 1997 16:04:48 +0200 |
wenzelm |
tuned Isamode stuff;
|
file |
diff |
annotate
|
| Tue, 20 May 1997 19:29:04 +0200 |
wenzelm |
removed Cambridge font server;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 18:37:03 +0200 |
wenzelm |
renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 17:41:15 +0200 |
wenzelm |
ML_SYSTEM is polyml-3.1 again;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 11:52:42 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Mon, 12 May 1997 14:58:45 +0200 |
wenzelm |
improved comments;
|
file |
diff |
annotate
|
| Tue, 06 May 1997 15:27:35 +0200 |
wenzelm |
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
|
file |
diff |
annotate
|
| Fri, 25 Apr 1997 18:11:22 +0200 |
wenzelm |
improved DVI_VIEWER default;
|
file |
diff |
annotate
|