# HG changeset patch
# User wenzelm
# Date 920977652 -3600
# Node ID 6e4c7209ff396875d1043c59d40bacda58c12efc
# Parent  d361b0a99e311e2f9a1eb793b3856f2a01723b5d
HTML.setup;

diff -r d361b0a99e31 -r 6e4c7209ff39 src/Pure/pure.ML
--- a/src/Pure/pure.ML	Tue Mar 09 12:07:16 1999 +0100
+++ b/src/Pure/pure.ML	Tue Mar 09 12:07:32 1999 +0100
@@ -9,6 +9,7 @@
   val common_setup =
     ObjectLogic.setup @
     Locale.setup @
+    HTML.setup @
     ProofContext.setup @
     Method.setup @
     Attrib.setup;