# HG changeset patch
# User wenzelm
# Date 1316352621 -7200
# Node ID 8104eec1bf94641b49d4cd80891ad20c1bd1c600
# Parent  52f809bc540213324d5c16d00cc041253e0d7eef
tuned;

diff -r 52f809bc5402 -r 8104eec1bf94 README
--- 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).