tuned;
authorwenzelm
Tue May 31 10:40:22 2005 +0200 (2005-05-31)
changeset 16116bb7ba5c5e632
parent 16115 ae921f717a2b
child 16117 7c7da01ff77e
tuned;
src/Pure/README
     1.1 --- a/src/Pure/README	Tue May 31 10:39:20 2005 +0200
     1.2 +++ b/src/Pure/README	Tue May 31 10:40:22 2005 +0200
     1.3 @@ -17,5 +17,7 @@
     1.4  
     1.5    isabelle -u RAW
     1.6  
     1.7 +See ROOT.ML for further informatio.
     1.8 +
     1.9  
    1.10  $Id$