# HG changeset patch
# User wenzelm
# Date 1673611844 -3600
# Node ID d756f4f78dc7c727fc19cd1ed948241b29143a9b
# Parent  6c623c517a6ed9818f0b24b0b9f0c65a54d4afe5
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;

diff -r 6c623c517a6e -r d756f4f78dc7 src/Pure/Thy/bibtex.ML
--- 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