Admin/website/installation_notes_cygwin.html
changeset 17683 d7f78036546b
parent 17676 6ebbe708640f
child 17734 fb2fd74358e1
--- a/Admin/website/installation_notes_cygwin.html	Tue Sep 27 17:13:11 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Tue Sep 27 17:14:27 2005 +0200
@@ -98,10 +98,10 @@
     
       <h2>Installing Isabelle</h2>
     
-      <p>Download the latest Isabelle and ProofGeneral <a href=
-      "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>
+      <p><a href="download.html">Download</a> the latest Isabelle and
+      ProofGeneral release packages. 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>
     
       <ul class="shellcmd">
         <li>tar -C /usr/opt -xvzf <?value key="distname"?>.tar.gz</li>