Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
grammar fix
authorpaulson
Fri, 17 Jun 2005 11:35:35 +0200
changeset 16416 6061ae1f90f2
parent 16415 d4e2f121e219
child 16417 9bc16273c2d4
grammar fix
Admin/website/overview.html file | annotate | diff | comparison | revisions 
--- 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 "
isabelle