README
changeset 32361 141e5151b918
parent 30898 16912b4e6625
child 33842 efa1b89c79e0
     1.1 --- a/README	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/README	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  
     1.5  Version information
     1.6  
     1.7 -   This is the internal repository version of Isabelle.
     1.8 +   This is some unidentified repository version of Isabelle.
     1.9  
    1.10     See the NEWS file in the distribution for details on user-relevant
    1.11     changes.