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