Admin/website/overview.html

--- a/Admin/website/overview.html	Fri Jun 17 11:34:04 2005 +0200
+++ b/Admin/website/overview.html	Fri Jun 17 11:35:35 2005 +0200
@@ -35,7 +35,7 @@
       (University of Cambridge, UK) and Tobias Nipkow (Technical
       University of Munich, Germany).</p>
 
-      <h2>Preview on Isabelle</h2>
+      <h2>Preview of Isabelle</h2>
 
         <a href="//media/pg_preview.mov">
             <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "