--- 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.
--- a/src/Doc/System/Sessions.thy Sun Jan 15 12:07:08 2023 +0100
+++ b/src/Doc/System/Sessions.thy Sun Jan 15 12:11:25 2023 +0100
@@ -829,6 +829,9 @@
use cartouches: this depends on language markup provided by semantic
processing of parsed input.
+ \<^item> @{system_option update_cite} to update {\LaTeX} \<^verbatim>\<open>\cite\<close> commands and
+ old-style \<^verbatim>\<open>@{cite "name"}\<close> document antiquotations.
+
It is also possible to produce custom updates in Isabelle/ML, by reporting
\<^ML>\<open>Markup.update\<close> with the precise source position and a replacement
text. This operation should be made conditional on specific system options,