--- a/Admin/website/dist/index.html Sat Jun 04 22:38:40 2005 +0200
+++ b/Admin/website/dist/index.html Sat Jun 04 22:38:40 2005 +0200
@@ -19,13 +19,13 @@
<p>First, you might like to switch to a nearby mirror:</p>
<ul>
- <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/download.html">Cambridge
+ <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
(UK)</a></li>
- <li><a href="http://isabelle.in.tum.de/dist/download.html">Munich
+ <li><a href="http://isabelle.in.tum.de/dist/">Munich
(Germany)</a></li>
- <li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/download.html">Sydney
+ <li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/">Sydney
(Australia)</a></li>
</ul>
</div>
--- a/Admin/website/dist/installation.html Sat Jun 04 22:38:40 2005 +0200
+++ b/Admin/website/dist/installation.html Sat Jun 04 22:38:40 2005 +0200
@@ -77,7 +77,7 @@
</li>
</ul>
- <p>For more information, see the file <a href="../isabelle/Isabelle/INSTALL">INSTALL</a> included in
+ <p>For more information, see the file <a href="//dist/packages/Isabelle/INSTALL">INSTALL</a> included in
<?value key="distname"?>.tar.gz.</p>
<h2 id="other_platforms">Other platforms</h2>
--- a/Admin/website/overview.html Sat Jun 04 22:38:40 2005 +0200
+++ b/Admin/website/overview.html Sat Jun 04 22:38:40 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