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>