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