# HG changeset patch
# User haftmann
# Date 1117986366 -7200
# Node ID 8bcecefd2e8987a187ff060ae875479d3ae1ff01
# Parent  24e5976876bfe7301ef6947bcfea68680c3a3cda
link bugs fixed

diff -r 24e5976876bf -r 8bcecefd2e89 Admin/website/overview.html
--- a/Admin/website/overview.html	Sun Jun 05 17:42:45 2005 +0200
+++ b/Admin/website/overview.html	Sun Jun 05 17:46:06 2005 +0200
@@ -95,7 +95,7 @@
       <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
+      <!--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>