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