Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
link bugs fixed
authorhaftmann
Sun, 05 Jun 2005 17:46:06 +0200
changeset 16284 8bcecefd2e89
parent 16283 24e5976876bf
child 16285 75954ae8b247
link bugs fixed
Admin/website/overview.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle