NEWS

--- a/NEWS	Mon Dec 06 15:10:15 2021 +0100
+++ b/NEWS	Mon Dec 06 15:34:54 2021 +0100
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Old-style {* verbatim *} tokens have been discontinued (legacy feature
+since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead.
+
+
 *** HOL ***
 
 * Theory "HOL.Relation": Added lemmas asymp_less and asymp_greater to