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