changeset 18708 | 4b3dadb4fe33 |
parent 17470 | 6e9d910c3837 |
child 19265 | cae36e16f3c0 |
--- a/src/Pure/Thy/html.ML Thu Jan 19 15:45:10 2006 +0100 +++ b/src/Pure/Thy/html.ML Thu Jan 19 21:22:08 2006 +0100 @@ -253,7 +253,7 @@ ("var", style "var"), ("xstr", style "xstr")]; -val _ = Context.add_setup [Theory.add_mode_tokentrfuns htmlN html_trans]; +val _ = Context.add_setup (Theory.add_mode_tokentrfuns htmlN html_trans);