--- 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>
--- a/Admin/website/dist/installation_notes_macosx.html Sun Jun 05 17:42:45 2005 +0200
+++ b/Admin/website/dist/installation_notes_macosx.html Sun Jun 05 17:42:45 2005 +0200
@@ -23,7 +23,7 @@
"http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">Isabelle</a>. The new
<a href="http://www.apple.com/powermac/">Power Mac G5</a> is an excellent
Isabelle machine. Here is a <a href=
- "//dist/img/screenshot_isabelle_macos.jpg">screenshot</a> showing Proof General running
+ "//dist/img/screenshot_isabelle_macos.gif">screenshot</a> showing Proof General running
in GNU Emacs.</p>
<p>This page gives advice on building Isabelle for Mac OS X. It assumes that
--- a/Admin/website/overview.html Sun Jun 05 17:42:45 2005 +0200
+++ b/Admin/website/overview.html Sun Jun 05 17:42:45 2005 +0200
@@ -77,9 +77,9 @@
<h2>Preview</h2>
- <p>We provide a <a href="media/pg-preview.mov">hyperlinked preview</a> demonstrating
+ <p>We provide a <a href="media/pg_preview.mov">hyperlinked preview</a> demonstrating
Isabelle and ProofGeneral, in <a href="http://www.apple.com/quicktime/download/">QuickTime
- format</a>, and also as a <a href="media/pg-preview.pdf">non-hyperlinked preview</a> in PDF.</p>
+ format</a>, and also as a <a href="media/pg_preview.pdf">non-hyperlinked preview</a> in PDF.</p>
<p>Ample <a href="dist/documentation.html">documentation</a> is available
about using Isabelle and its inner concepts, including a
@@ -95,7 +95,7 @@
<h2>License</h2>
<p>Isabelle is distributed free of charge under the open source
- <a href="dist/Isabelle/COPYRIGHT">BSD license</a>. You may use any of our <a
+ <a href="//dist/packages/Isabelle/COPYRIGHT">BSD license</a>. You may use any of our <a
href="dist/index.html">mirrors</a> for download.</p>
</div>