diff -r 8f1157817bb6 -r 678f34b3d560 lib/html/index1.html --- a/lib/html/index1.html Thu Aug 27 13:53:41 1998 +0200 +++ b/lib/html/index1.html Thu Aug 27 14:04:13 1998 +0200 @@ -4,7 +4,7 @@ - Isabelle