| changeset 56059 | 2390391584c2 |
| parent 51162 | 310b94ed1815 |
| child 56061 | 564a7bee8652 |
| 56058:cd9ce893f2d6 | 56059:2390391584c2 |
|---|---|
14 |
14 |
15 ML_file "../antiquote_setup.ML" |
15 ML_file "../antiquote_setup.ML" |
16 ML_file "../more_antiquote.ML" |
16 ML_file "../more_antiquote.ML" |
17 |
17 |
18 setup {* |
18 setup {* |
19 Antiquote_Setup.setup #> |
|
20 More_Antiquote.setup #> |
19 More_Antiquote.setup #> |
21 let |
20 let |
22 val typ = Simple_Syntax.read_typ; |
21 val typ = Simple_Syntax.read_typ; |
23 in |
22 in |
24 Sign.del_modesyntax_i (Symbol.xsymbolsN, false) |
23 Sign.del_modesyntax_i (Symbol.xsymbolsN, false) |