NEWS

--- a/NEWS	Sun Jan 15 15:30:25 2023 +0100
+++ b/NEWS	Sun Jan 15 16:28:03 2023 +0100
@@ -33,6 +33,9 @@
   \<^cite>\<open>"isabelle-system" and "isabelle-jedit"\<close>
   \<^nocite>\<open>"isabelle-isar-ref"\<close>
 
+The old antiquotation option "cite_macro" has been superseded by
+explicit syntax: \<^cite>\<open>\<dots> using macro_name\<close>.
+
 The command-line tool "isabelle update -u cite" helps to update former
 uses of LaTeX \cite commands and old-style @{cite "name"} document
 antiquotations.