Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
authorwenzelm
Fri, 13 Jan 2023 13:10:44 +0100
changeset 76961 d756f4f78dc7
parent 76960 6c623c517a6e
child 76962 c847442df7fe
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
src/Pure/Thy/bibtex.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle