diff -r 94bbe14c088e -r 994d010c0abd Admin/website/overview.html
--- 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>