equal
deleted
inserted
replaced
43 local |
43 local |
44 |
44 |
45 fun control_antiquotation name s1 s2 = |
45 fun control_antiquotation name s1 s2 = |
46 Thy_Output.antiquotation name (Scan.lift Args.cartouche_input) |
46 Thy_Output.antiquotation name (Scan.lift Args.cartouche_input) |
47 (fn {state, ...} => |
47 (fn {state, ...} => |
48 enclose s1 s2 o Thy_Output.output_text state {markdown = false, mark_range = false}); |
48 enclose s1 s2 o Thy_Output.output_text state {markdown = false, positions = false}); |
49 |
49 |
50 in |
50 in |
51 |
51 |
52 val _ = |
52 val _ = |
53 Theory.setup |
53 Theory.setup |