Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed NEWS link
authorhaftmann
Sat, 04 Jun 2005 22:34:30 +0200
changeset 16245 bad9d73aa063
parent 16244 8c3063bf8b9f
child 16246 d79cd3e38ca7
fixed NEWS link
Admin/website/index.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle