diff -r 81936a99a3b0 -r 0e3b58479d95 Admin/index.html --- a/Admin/index.html Thu Aug 27 20:15:43 1998 +0200 +++ b/Admin/index.html Thu Aug 27 20:45:57 1998 +0200 @@ -43,7 +43,7 @@
Isabelle documentation (as included in the distribution):