# HG changeset patch
# User haftmann
# Date 1117917270 -7200
# Node ID bad9d73aa06379af196bbb24bf8d5a0cddfde1c3
# Parent  8c3063bf8b9ff374074650b548ccafcfbf5c9946
fixed NEWS link

diff -r 8c3063bf8b9f -r bad9d73aa063 Admin/website/index.html
--- 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>