equal
deleted
inserted
replaced
39 val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K "cite"); |
39 val cite_macro = Attrib.setup_config_string \<^binding>\<open>cite_macro\<close> (K "cite"); |
40 |
40 |
41 val _ = |
41 val _ = |
42 Theory.setup |
42 Theory.setup |
43 (Document_Antiquotation.setup_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro) #> |
43 (Document_Antiquotation.setup_option \<^binding>\<open>cite_macro\<close> (Config.put cite_macro) #> |
44 Thy_Output.antiquotation_raw \<^binding>\<open>cite\<close> |
44 Document_Output.antiquotation_raw \<^binding>\<open>cite\<close> |
45 (Scan.lift |
45 (Scan.lift |
46 (Scan.option (Parse.verbatim || Parse.cartouche) -- Parse.and_list1 Args.name_position)) |
46 (Scan.option (Parse.verbatim || Parse.cartouche) -- Parse.and_list1 Args.name_position)) |
47 (fn ctxt => fn (opt, citations) => |
47 (fn ctxt => fn (opt, citations) => |
48 let |
48 let |
49 val _ = |
49 val _ = |