grammar fix
authorpaulson
Fri Jun 17 11:35:35 2005 +0200 (2005-06-17)
changeset 164166061ae1f90f2
parent 16415 d4e2f121e219
child 16417 9bc16273c2d4
grammar fix
Admin/website/overview.html
     1.1 --- a/Admin/website/overview.html	Fri Jun 17 11:34:04 2005 +0200
     1.2 +++ b/Admin/website/overview.html	Fri Jun 17 11:35:35 2005 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4        (University of Cambridge, UK) and Tobias Nipkow (Technical
     1.5        University of Munich, Germany).</p>
     1.6  
     1.7 -      <h2>Preview on Isabelle</h2>
     1.8 +      <h2>Preview of Isabelle</h2>
     1.9  
    1.10          <a href="//media/pg_preview.mov">
    1.11              <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "