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