--- a/NEWS Wed Jul 02 17:01:51 2014 +0200
+++ b/NEWS Wed Jul 02 17:34:45 2014 +0200
@@ -1,5 +1,5 @@
-Isabelle NEWS -- history user-relevant changes
-==============================================
+Isabelle NEWS -- history of user-relevant changes
+=================================================
New in Isabelle2014 (August 2014)
---------------------------------
@@ -34,7 +34,7 @@
* Syntax of document antiquotation @{rail} now uses \<newline> instead
of "\\", to avoid the optical illusion of escaped backslash within
-string token. General renovation of its syntax using text cartouces.
+string token. General renovation of its syntax using text cartouches.
Minor INCOMPATIBILITY.
* Discontinued legacy_isub_isup, which was a temporary workaround for