--- a/Admin/website/overview.html Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/overview.html Wed Sep 21 16:37:37 2005 +0200
@@ -37,13 +37,13 @@
University of Munich, Germany).</p>
<p>Isabelle is distributed <em>freely</em> under the open source
- <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD license<!--/a-->.
- You may use any of our <a href="mirrors.html">mirrors</a> for download.</p>
+ <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD license<!--/a-->;
+ see the <a href="installation.html">installation instructions</a>.</p>
<h2>Preview of Isabelle</h2>
<a href="//media/pg_preview.mov">
- <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "
+ <img class="left" src="//img/screenshot_isabelle_pg.png" alt="Isabelle Screenshot"
width="250" height="277" />
</a>