Admin/index.html
1999-01-20 wenzelm 1999-01-20 http://isabelle.in.tum.de/dist/;
1999-01-20 wenzelm 1999-01-20 changed Minho mirror;
1998-10-24 wenzelm 1998-10-24 official release;
1998-10-18 wenzelm 1998-10-18 added Minho (Portugal);
1998-08-27 wenzelm 1998-08-27 tuned;
1998-08-27 wenzelm 1998-08-27 added tutorial;
1998-02-18 wenzelm 1998-02-18 added New Jersey mirror;
1998-01-15 wenzelm 1998-01-15 tuned URL;
1998-01-14 wenzelm 1998-01-14 New Jersey inactive;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-09 wenzelm 1998-01-09 automatic index.html patch;
1998-01-08 wenzelm 1998-01-08 index.html for Isabelle Distribution Area;