README

--- a/README	Thu Oct 03 12:34:32 2013 +0200
+++ b/README	Thu Oct 03 16:09:47 2013 +0200
@@ -14,8 +14,8 @@
    include sources, documentation, and add-on tools for all supported
    platforms.
 
-   Some background information may be found in the Isabelle System
-   Manual (directory doc).
+   Some technical background information may be found in the Isabelle
+   System Manual (directory doc).
 
 User interfaces