--- a/Admin/website/overview.html Mon Jul 04 14:42:06 2005 +0200
+++ b/Admin/website/overview.html Mon Jul 04 15:15:55 2005 +0200
@@ -14,8 +14,7 @@
<?include file="//include/navigation.include.html"?>
<div class="hr"><hr/></div>
<div id="content">
- <?include file="//include/mirrorlist.major.include.html"?>
- <div class="hr"><hr/></div>
+
<h2>What is Isabelle?</h2>
<p>
Isabelle is a generic proof assistant. It allows mathematical
@@ -39,7 +38,7 @@
<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="dist/index.html">mirrors</a> for download.</p>
+ You may use any of our <a href="mirrors.html">mirrors</a> for download.</p>
<h2>Preview of Isabelle</h2>
@@ -87,7 +86,7 @@
"http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a> user interface, which
eases the task of writing and maintaining proof scripts.</p>
- <p>Ample <a href="dist/documentation.html">documentation</a> is available
+ <p>Ample <a href="documentation.html">documentation</a> is available
about using Isabelle and its inner concepts, including a
<a href="http://www4.in.tum.de/~nipkow/LNCS2283/">Tutorial</a> published by
Springer-Verlag.</p>