diff -r 3d491a0af6ef -r 6c623c517a6e src/Pure/Thy/bibtex.ML --- 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>\cite_macro\ (Config.put cite_macro) #> - cite_antiquotation \<^binding>\cite\ (fn ctxt => Config.get ctxt cite_macro)); + cite_antiquotation \<^binding>\cite\ (fn ctxt => Config.get ctxt cite_macro) #> + cite_antiquotation \<^binding>\nocite\ (K "nocite") #> + cite_antiquotation \<^binding>\citet\ (K "citet") #> + cite_antiquotation \<^binding>\citep\ (K "citep")); end;