--- a/NEWS Fri Jan 13 12:37:09 2023 +0100
+++ b/NEWS Fri Jan 13 13:01:19 2023 +0100
@@ -21,6 +21,9 @@
* Support for interactive document preparation in PIDE, notably via the
Isabelle/jEdit Document panel.
+* Support for more "cite" antiquotations, notably for \nocite and
+natbib's \citet / \citep.
+
*** HOL ***
--- a/src/Pure/Thy/bibtex.ML Fri Jan 13 12:37:09 2023 +0100
+++ b/src/Pure/Thy/bibtex.ML Fri Jan 13 13:01:19 2023 +0100
@@ -66,6 +66,9 @@
val _ =
Theory.setup
(Document_Antiquotation.setup_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro) #>
- cite_antiquotation \<^binding>\<open>cite\<close> (fn ctxt => Config.get ctxt cite_macro));
+ cite_antiquotation \<^binding>\<open>cite\<close> (fn ctxt => Config.get ctxt cite_macro) #>
+ cite_antiquotation \<^binding>\<open>nocite\<close> (K "nocite") #>
+ cite_antiquotation \<^binding>\<open>citet\<close> (K "citet") #>
+ cite_antiquotation \<^binding>\<open>citep\<close> (K "citep"));
end;