--- a/Admin/index.html Sat Oct 24 21:21:21 1998 +0200
+++ b/Admin/index.html Sat Oct 24 21:25:43 1998 +0200
@@ -46,8 +46,7 @@
<ul>
<li> <a href="{ISABELLE}.tar.gz"><strong>{ISABELLE}</strong></a> <img
-src="{ISABELLE}/lib/images/new.gif" alt="[new]"> - sneak preview of
-the forthcoming Isabelle98-1 release: <a
+src="{ISABELLE}/lib/images/new.gif" alt="[new]"> - <a
href="{ISABELLE}/README.html">README</a>, <a
href="{ISABELLE}.tar.gz">archive</a> ({PACKED_SIZE}K), same <a
href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K).