Admin/website/index.html
changeset 17563 abb280dd3431
parent 17143 2a8111863b16
child 17661 994d010c0abd
--- a/Admin/website/index.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/index.html	Wed Sep 21 16:37:37 2005 +0200
@@ -100,10 +100,10 @@
 <h2>Download</h2>
 
 <p>
-The Isabelle distribution is distributed <em>for free</em> and available
-from several <a href="mirrors.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>
+The Isabelle distribution is distributed for free under the BSD license.
+It includes source and binary packages and browsable documentation,
+see the <a href="installation.html">installation instructions</a>. You can also
+browse the <a href="//dist/library/index.html">Isabelle theory library</a>
 online. 
 </p>