Admin/index.html
Sat, 24 Oct 1998 21:25:43 +0200 wenzelm official release;
Sun, 18 Oct 1998 16:36:03 +0200 wenzelm added Minho (Portugal);
Thu, 27 Aug 1998 20:45:57 +0200 wenzelm tuned;
Thu, 27 Aug 1998 18:02:40 +0200 wenzelm added tutorial;
Wed, 18 Feb 1998 17:32:18 +0100 wenzelm added New Jersey mirror;
Thu, 15 Jan 1998 14:16:46 +0100 wenzelm tuned URL;
Wed, 14 Jan 1998 11:22:03 +0100 wenzelm New Jersey inactive; Isabelle98
Mon, 12 Jan 1998 13:48:40 +0100 wenzelm tuned;
Fri, 09 Jan 1998 20:28:18 +0100 wenzelm tuned;
Fri, 09 Jan 1998 20:07:57 +0100 wenzelm automatic index.html patch;
Thu, 08 Jan 1998 18:28:03 +0100 wenzelm index.html for Isabelle Distribution Area;
less more (0) tip