README
changeset 27646 d010fc1d3c46
parent 27085 dbf4f791953d
child 30852 59a422908e29
     1.1 --- a/README	Thu Jul 17 21:07:17 2008 +0200
     1.2 +++ b/README	Thu Jul 17 21:22:44 2008 +0200
     1.3 @@ -2,8 +2,10 @@
     1.4  
     1.5  Version information
     1.6  
     1.7 -   This is the internal repository version of Isabelle. See the NEWS file
     1.8 -   in the distribution for details on user-relevant changes.
     1.9 +   This is the internal repository version of Isabelle.
    1.10 +
    1.11 +   See the NEWS file in the distribution for details on user-relevant
    1.12 +   changes.
    1.13  
    1.14  System requirements
    1.15