equal
deleted
inserted
replaced
148 *} |
148 *} |
149 |
149 |
150 use "output_tutorial.ML" |
150 use "output_tutorial.ML" |
151 use "antiquote_setup.ML" |
151 use "antiquote_setup.ML" |
152 |
152 |
|
153 setup {* OutputTutorial.setup *} |
|
154 setup {* AntiquoteSetup.setup *} |
153 |
155 |
154 end |
156 end |