# HG changeset patch
# User wenzelm
# Date 1216322564 -7200
# Node ID d010fc1d3c46a282da7c36ffccf413eccb8ccf6e
# Parent  a1d7ee46387a82fc89e1102e7b43d104351215c1
tuned line breaks (NB: generated text is inserted here);

diff -r a1d7ee46387a -r d010fc1d3c46 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