--- a/README Sun Sep 29 11:59:01 2013 +0200
+++ b/README Sun Sep 29 12:17:02 2013 +0200
@@ -10,9 +10,9 @@
Installation
Isabelle works on the three main platform families: Linux, Windows,
- and Mac OS X. The fully integrated application bundles from the
- Isabelle web page include sources, documentation, and add-on tools
- for all supported platforms.
+ and Mac OS X. The application bundles from the Isabelle web page
+ include sources, documentation, and add-on tools for all supported
+ platforms.
Some background information may be found in the Isabelle System
Manual (directory doc).