NEWS
changeset 57491 9eedaafc05c8
parent 57476 dc542b78ef0f
child 57503 3e04e25a751e
     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