--- 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>