Admin/website/index.html
changeset 16245 bad9d73aa063
parent 16240 95cc0e8f8a17
child 16296 f05c81817ec6
--- a/Admin/website/index.html	Sat Jun 04 22:29:16 2005 +0200
+++ b/Admin/website/index.html	Sat Jun 04 22:34:30 2005 +0200
@@ -97,7 +97,7 @@
 sub/superscripts allowed in identifiers.</li>
 </ul>
 
-<p><a href="isabelle/Isabelle/NEWS">[Complete Changelog]</a></p>
+<p><a href="dist/packages/Isabelle/NEWS">[Complete Changelog]</a></p>
 
 <h2>Download</h2>