# HG changeset patch
# User haftmann
# Date 1127832758 -7200
# Node ID 88cae8ed176b3c5b1a759b0a25fe7510d7357868
# Parent  b1aedbc9125ac842a907cc7ab21bbe3dae4c4209
fixed dead link

diff -r b1aedbc9125a -r 88cae8ed176b Admin/website/installation_notes_cygwin.html
--- 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>