Tue, 02 Nov 1999 17:28:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 29 Oct 1999 12:48:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 27 Oct 1999 16:54:43 +0200 |
wenzelm |
updated for Isabelle99;
|
file |
diff |
annotate
|
Mon, 19 Jul 1999 17:07:30 +0200 |
wenzelm |
added isar-ref;
|
file |
diff |
annotate
|
Fri, 28 May 1999 18:00:53 +0200 |
wenzelm |
pdf docs;
|
file |
diff |
annotate
|
Wed, 05 May 1999 14:31:17 +0200 |
wenzelm |
updated docs;
|
file |
diff |
annotate
|
Thu, 29 Apr 1999 15:35:40 +0200 |
wenzelm |
currently disabled;
|
file |
diff |
annotate
|
Wed, 20 Jan 1999 17:59:19 +0100 |
wenzelm |
http://isabelle.in.tum.de/dist/;
|
file |
diff |
annotate
|
Wed, 20 Jan 1999 10:29:25 +0100 |
wenzelm |
changed Minho mirror;
|
file |
diff |
annotate
|
Sat, 24 Oct 1998 21:25:43 +0200 |
wenzelm |
official release;
|
file |
diff |
annotate
|
Sun, 18 Oct 1998 16:36:03 +0200 |
wenzelm |
added Minho (Portugal);
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 20:45:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 27 Aug 1998 18:02:40 +0200 |
wenzelm |
added tutorial;
|
file |
diff |
annotate
|
Wed, 18 Feb 1998 17:32:18 +0100 |
wenzelm |
added New Jersey mirror;
|
file |
diff |
annotate
|
Thu, 15 Jan 1998 14:16:46 +0100 |
wenzelm |
tuned URL;
|
file |
diff |
annotate
|
Wed, 14 Jan 1998 11:22:03 +0100 |
wenzelm |
New Jersey inactive;
Isabelle98
|
file |
diff |
annotate
|
Mon, 12 Jan 1998 13:48:40 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 09 Jan 1998 20:28:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 09 Jan 1998 20:07:57 +0100 |
wenzelm |
automatic index.html patch;
|
file |
diff |
annotate
|
Thu, 08 Jan 1998 18:28:03 +0100 |
wenzelm |
index.html for Isabelle Distribution Area;
|
file |
diff |
annotate
|