README

--- a/README	Thu Jul 17 21:07:17 2008 +0200
+++ b/README	Thu Jul 17 21:22:44 2008 +0200
@@ -2,8 +2,10 @@
 
 Version information
 
-   This is the internal repository version of Isabelle. See the NEWS file
-   in the distribution for details on user-relevant changes.
+   This is the internal repository version of Isabelle.
+
+   See the NEWS file in the distribution for details on user-relevant
+   changes.
 
 System requirements