changeset 17671 | e9e341bc7d42 |
parent 17661 | 994d010c0abd |
child 19096 | 991c28e89d32 |
--- a/Admin/website/overview.html Tue Sep 27 14:41:41 2005 +0200 +++ b/Admin/website/overview.html Tue Sep 27 15:30:37 2005 +0200 @@ -37,7 +37,7 @@ University of Munich, Germany).</p> <p>Isabelle is distributed <em>freely</em> as Open Source - Software <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD + Software <!--a href="//dist/Isabelle/COPYRIGHT"-->BSD license<!--/a-->; see the <a href="installation.html">installation instructions</a>.</p>