changeset 76961 | d756f4f78dc7 |
parent 76960 | 6c623c517a6e |
child 76963 | a8566127d43b |
--- a/src/Pure/Thy/bibtex.ML Fri Jan 13 13:01:19 2023 +0100 +++ b/src/Pure/Thy/bibtex.ML Fri Jan 13 13:10:44 2023 +0100 @@ -37,7 +37,7 @@ (* document antiquotations *) -val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K "cite"); +val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K ""); fun cite_antiquotation binding get_kind = Document_Output.antiquotation_raw binding