--- a/Admin/website/index.html Tue Jun 28 16:12:03 2005 +0200
+++ b/Admin/website/index.html Tue Jun 28 16:12:03 2005 +0200
@@ -44,7 +44,6 @@
bibliography, and Isabelle workshops and courses.
</p>
-
<h2>Coming soon: Isabelle 2005</h2>
<p>New features in the upcoming Isabelle 2005 will include</p>
<ul>
@@ -101,8 +100,8 @@
<h2>Download</h2>
<p>
-The Isabelle distribution is available
-from several <a href="dist/index.html">mirror sites</a>. It includes
+The Isabelle distribution is distributed <em>for free</em> and available
+from several <a href="dist/index.html">mirror sites</a>. It includes
source and binary packages and browsable documentation. You can also
browse the <a href="//library/index.html">Isabelle theory library</a>
online.