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