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_notes_cygwin.html
changeset 17675 88cae8ed176b
parent 17563 abb280dd3431
child 17676 6ebbe708640f 
--- a/Admin/website/installation_notes_cygwin.html	Tue Sep 27 16:52:24 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Tue Sep 27 16:52:38 2005 +0200
@@ -99,7 +99,7 @@
       <h2>Installing Isabelle</h2>
     
       <p>Download the latest Isabelle and ProofGeneral <a href=
-      "download.html">release packages</a>. Assuming that you are in the directory
+      "packages.html">release packages</a>. Assuming that you are in the directory
       where you downloaded the files, install them into <tt class="shellcmd">/opt</tt> by typing
       into the bash shell:</p>
isabelle