diff -r 631118402334 -r 24e5976876bf Admin/website/dist/installation_notes_cygwin.html
--- a/Admin/website/dist/installation_notes_cygwin.html	Sun Jun 05 17:42:45 2005 +0200
+++ b/Admin/website/dist/installation_notes_cygwin.html	Sun Jun 05 17:42:45 2005 +0200
@@ -96,7 +96,7 @@
       <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
+      "download.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>
     
@@ -106,7 +106,7 @@
       </ul>
       
       <p>During extraction, one inconvenience may occur, see <a href=
-      "inconvenience">below</a>.</p>
+      "#inconvenience">below</a>.</p>
     
       <p>The location <tt class="shellcmd">/opt</tt> again is just a proposal; if you choose other
       locations, some tweaking in the <a href="#config"><tt class="shellcmd">etc/settings</tt>
@@ -246,7 +246,7 @@
       <h2 id="polyml">A note on Poly/ML</h2>
     
       <p>As indicated above, Isabelle does <em>not</em> run neatly with <a href=
-      "www.polyml.org/">Poly/ML</a> on Windows, since it is not clear
+      "http://www.polyml.org/">Poly/ML</a> on Windows, since it is not clear
       how Poly/ML has to be compiled for Cygwin, and the native Windows port
       of PolyML do not provide some Posix interfaces Isabelle relies on.</p>