--- a/Admin/website/overview.html Mon Sep 26 20:51:57 2005 +0200
+++ b/Admin/website/overview.html Mon Sep 26 20:52:36 2005 +0200
@@ -36,9 +36,10 @@
(University of Cambridge, UK) and Tobias Nipkow (Technical
University of Munich, Germany).</p>
- <p>Isabelle is distributed <em>freely</em> under the open source
- <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD license<!--/a-->;
- see the <a href="installation.html">installation instructions</a>.</p>
+ <p>Isabelle is distributed <em>freely</em> as Open Source
+ Software <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD
+ license<!--/a-->; see the <a
+ href="installation.html">installation instructions</a>.</p>
<h2>Preview of Isabelle</h2>