NEWS

--- a/NEWS	Tue Oct 07 11:44:25 2014 +0200
+++ b/NEWS	Tue Oct 07 14:53:51 2014 +0200
@@ -129,6 +129,12 @@
 PARALLEL_GOALS.
 
 
+*** System ***
+
+* The Isabelle tool "update_cartouches" changes theory files to use
+cartouches instead of old-style {* verbatim *} or `alt_string` tokens.
+
+
 
 New in Isabelle2014 (August 2014)
 ---------------------------------