Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/installation.html
changeset 17676 6ebbe708640f
parent 17672 25d8a4586836
child 17678 2fe254a20a42 
--- a/Admin/website/installation.html	Tue Sep 27 16:52:38 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 16:52:38 2005 +0200
@@ -65,7 +65,7 @@
                 href="http://www.polyml.org">Poly/ML</a>, <a
                 href="http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a>
                 and Isabelle &ndash; all of this is available from the
-                Isabelle <a href="download.html">Packages</a> page.
+                Isabelle <a href="packages.html">packages</a> page.
                 When you download ProofGeneral for the first time,
                 please <a
                 href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>
isabelle