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 17683 d7f78036546b
parent 17678 2fe254a20a42
child 17685 8e5b9790805e 
--- a/Admin/website/installation.html	Tue Sep 27 17:13:11 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 17:14:27 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="packages.html">packages</a> page.
+                Isabelle <a href="download.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