Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/dist/installation.html
changeset 16309 39c793a9b382
parent 16303 fee0a02f61bb
child 16583 f2660fa63224 
--- a/Admin/website/dist/installation.html	Tue Jun 07 06:39:39 2005 +0200
+++ b/Admin/website/dist/installation.html	Tue Jun 07 09:11:27 2005 +0200
@@ -137,7 +137,7 @@
 
         <p>For more information, see the file <a href="//dist/packages/Isabelle/INSTALL">INSTALL</a>.</p>
 
-      <h2 id="install_darwin">MaxOS / Darwin</h2>
+      <h2 id="install_darwin">MaxOS X / Darwin</h2>
 
         <p>Before you start, ensure the following for your system:</p>
         <ul>
isabelle