--- a/src/Pure/Thy/html.ML Thu Apr 21 22:00:28 2005 +0200
+++ b/src/Pure/Thy/html.ML Thu Apr 21 22:02:06 2005 +0200
@@ -38,7 +38,6 @@
val section: string -> text
val subsection: string -> text
val subsubsection: string -> text
- val setup: (theory -> theory) list
end;
structure HTML: HTML =
@@ -254,6 +253,8 @@
("var", style "var"),
("xstr", style "xstr")];
+val _ = Context.add_setup [Theory.add_mode_tokentrfuns htmlN html_trans];
+
(** HTML markup **)
@@ -427,10 +428,4 @@
fun subsubsection heading = "\n\n<h4>" ^ plain heading ^ "</h4>\n";
-(** theory setup **)
-
-val setup =
- [Theory.add_mode_tokentrfuns htmlN html_trans];
-
-
end;