--- a/Admin/website/overview.html Tue Jun 28 15:47:50 2005 +0200
+++ b/Admin/website/overview.html Tue Jun 28 16:12:03 2005 +0200
@@ -36,6 +36,10 @@
(University of Cambridge, UK) and Tobias Nipkow (Technical
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="dist/index.html">mirrors</a> for download.</p>
+
<h2>Preview of Isabelle</h2>
<a href="//media/pg_preview.mov">
@@ -88,18 +92,6 @@
<a href="http://www4.in.tum.de/~nipkow/LNCS2283/">Tutorial</a> published by
Springer-Verlag.</p>
- <h2>Projects</h2>
-
- <p>There is an (incomplete) list of past and present <a href=
- "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
- undertaken using Isabelle available.</p>
-
- <h2>License</h2>
-
- <p>Isabelle is distributed free of charge 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>
-
</div>
<div class="hr"><hr/></div>
<?include file="//include/footer.include.html"?>