# HG changeset patch
# User haftmann
# Date 1117986165 -7200
# Node ID 24e5976876bfe7301ef6947bcfea68680c3a3cda
# Parent  631118402334c661bdf257f7e1e3ad91993f35c5
link bugs fixed

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>
     
diff -r 631118402334 -r 24e5976876bf Admin/website/dist/installation_notes_macosx.html
--- 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
diff -r 631118402334 -r 24e5976876bf Admin/website/overview.html
--- 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>