# HG changeset patch
# User wenzelm
# Date 910040412 -3600
# Node ID 7ad4d71adfe104235d6528252dcd68b256d737e9
# Parent e1aac05fe537e6817b1e98e67b10a4346e9a8976
made weblint happy;
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.
+
+