diff -r 5854996e6060 -r e7df213a1918 Admin/website/index.html
--- 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.