tuned grammar and spelling (cf. 0cf15843b82f);
authorwenzelm
Wed Jul 02 17:34:45 2014 +0200 (2014-07-02)
changeset 574919eedaafc05c8
parent 57490 afc7081f19d4
child 57492 74bf65a1910a
child 57493 554592fb795a
child 57497 4106a2bc066a
tuned grammar and spelling (cf. 0cf15843b82f);
NEWS
     1.1 --- a/NEWS	Wed Jul 02 17:01:51 2014 +0200
     1.2 +++ b/NEWS	Wed Jul 02 17:34:45 2014 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4 -Isabelle NEWS -- history user-relevant changes
     1.5 -==============================================
     1.6 +Isabelle NEWS -- history of user-relevant changes
     1.7 +=================================================
     1.8  
     1.9  New in Isabelle2014 (August 2014)
    1.10  ---------------------------------
    1.11 @@ -34,7 +34,7 @@
    1.12  
    1.13  * Syntax of document antiquotation @{rail} now uses \<newline> instead
    1.14  of "\\", to avoid the optical illusion of escaped backslash within
    1.15 -string token.  General renovation of its syntax using text cartouces.
    1.16 +string token.  General renovation of its syntax using text cartouches.
    1.17  Minor INCOMPATIBILITY.
    1.18  
    1.19  * Discontinued legacy_isub_isup, which was a temporary workaround for