tuned;
authorwenzelm
Tue May 31 10:58:51 2005 +0200 (2005-05-31)
changeset 161177c7da01ff77e
parent 16116 bb7ba5c5e632
child 16118 921936bd8847
tuned;
src/Pure/README
     1.1 --- a/src/Pure/README	Tue May 31 10:40:22 2005 +0200
     1.2 +++ b/src/Pure/README	Tue May 31 10:58:51 2005 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5    isabelle -u RAW
     1.6  
     1.7 -See ROOT.ML for further informatio.
     1.8 +See ROOT.ML for further information.
     1.9  
    1.10  
    1.11  $Id$