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.
tuned;
authorwenzelm
Sun, 18 Sep 2011 15:30:21 +0200
changeset 44971 8104eec1bf94
parent 44970 52f809bc5402
child 44972 7704b2fb02cc
tuned;
README file | annotate | diff | comparison | revisions 
--- a/README	Sun Sep 18 14:55:45 2011 +0200
+++ b/README	Sun Sep 18 15:30:21 2011 +0200
@@ -10,7 +10,7 @@
 System requirements
 
    Isabelle requires a regular Unix-style platform (e.g. Linux,
-   Windows with Cygwin, Mac OS) and depends on the following main
+   Windows with Cygwin, Mac OS X) and depends on the following main
    add-on tools:
 
      * The Poly/ML compiler and runtime system (version 5.2.1 or later).
isabelle