Admin/website/index.html
changeset 17671 e9e341bc7d42
parent 17661 994d010c0abd
child 17684 c98508731bd6
--- a/Admin/website/index.html	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/index.html	Tue Sep 27 15:30:37 2005 +0200
@@ -56,7 +56,7 @@
 	      <li>Major internal reorganizations and performance improvements.</li>
 	      </ul>
 
-<p><a href="//dist/packages/Isabelle/NEWS">[Cumulative NEWS]</a></p>
+<p><a href="//dist/Isabelle/NEWS">[Cumulative NEWS]</a></p>
 
 <h2>Download</h2>