--- a/NEWS Sun Jan 15 12:07:08 2023 +0100
+++ b/NEWS Sun Jan 15 12:11:25 2023 +0100
@@ -33,8 +33,8 @@
\<^cite>\<open>"isabelle-system" and "isabelle-jedit"\<close>
\<^nocite>\<open>"isabelle-isar-ref"\<close>
-The command-line tool "isabelle update -u cite_commands -l HOL" helps to
-update former uses of raw \cite commands or old @{cite "name"}
+The command-line tool "isabelle update -u cite" helps to update former
+uses of LaTeX \cite commands and old-style @{cite "name"} document
antiquotations.