# HG changeset patch
# User wenzelm
# Date 909257143 -7200
# Node ID b00769ecda3684ac922644dd7d3d52dedcc1328f
# Parent  6af1272cbd53460b1e6612959bc0d24274575b9d
official release;

diff -r 6af1272cbd53 -r b00769ecda36 Admin/index.html
--- 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).