# HG changeset patch
# User paulson
# Date 1119000935 -7200
# Node ID 6061ae1f90f24f0d63c8345e55db61c5ec2d3a2f
# Parent  d4e2f121e2197721a36e7d4c5e7cc6b0606d383e
grammar fix

diff -r d4e2f121e219 -r 6061ae1f90f2 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 "