| 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
|