changeset 65032 | 42b92fa72a51 |
parent 58550 | f65911a725ba |
child 67147 | dea94b1aabc3 |
65031:52e2c99f3711 | 65032:42b92fa72a51 |
---|---|
29 val opt_arg = (case opt of NONE => "" | SOME s => "[" ^ s ^ "]"); |
29 val opt_arg = (case opt of NONE => "" | SOME s => "[" ^ s ^ "]"); |
30 val arg = "{" ^ space_implode "," (map #1 citations) ^ "}"; |
30 val arg = "{" ^ space_implode "," (map #1 citations) ^ "}"; |
31 in "\\" ^ Config.get ctxt cite_macro ^ opt_arg ^ arg end)); |
31 in "\\" ^ Config.get ctxt cite_macro ^ opt_arg ^ arg end)); |
32 |
32 |
33 end; |
33 end; |
34 |