README
changeset 54051 cdba71c67860
parent 53978 65c893e0849f
child 57452 ecad2a53755a
     1.1 --- a/README	Thu Oct 03 12:34:32 2013 +0200
     1.2 +++ b/README	Thu Oct 03 16:09:47 2013 +0200
     1.3 @@ -14,8 +14,8 @@
     1.4     include sources, documentation, and add-on tools for all supported
     1.5     platforms.
     1.6  
     1.7 -   Some background information may be found in the Isabelle System
     1.8 -   Manual (directory doc).
     1.9 +   Some technical background information may be found in the Isabelle
    1.10 +   System Manual (directory doc).
    1.11  
    1.12  User interfaces
    1.13