Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/bibtex.ML
changeset 67147 dea94b1aabc3
parent 65032 42b92fa72a51 
--- a/src/Pure/Tools/bibtex.ML	Wed Dec 06 15:46:35 2017 +0100
+++ b/src/Pure/Tools/bibtex.ML	Wed Dec 06 18:59:33 2017 +0100
@@ -12,12 +12,12 @@
 structure Bibtex: BIBTEX =
 struct
 
-val cite_macro = Attrib.setup_config_string @{binding cite_macro} (K "cite");
+val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K "cite");
 
 val _ =
   Theory.setup
-   (Thy_Output.add_option @{binding cite_macro} (Config.put cite_macro) #>
-    Thy_Output.antiquotation @{binding cite}
+   (Thy_Output.add_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro) #>
+    Thy_Output.antiquotation \<^binding>\<open>cite\<close>
       (Scan.lift
         (Scan.option (Parse.verbatim || Parse.cartouche) --
          Parse.and_list1 (Parse.position Args.name)))
isabelle