diff -r e1aac05fe537 -r 7ad4d71adfe1 Admin/page/index.html --- a/Admin/page/index.html Mon Nov 02 21:57:49 1998 +0100 +++ b/Admin/page/index.html Mon Nov 02 22:00:12 1998 +0100 @@ -3,6 +3,7 @@ Isabelle + @@ -137,4 +138,6 @@ and Munich provide further information on Isabelle and related projects. + +