diff html.ur @ 25:9f56676e7c4e

Track addition of 'style' and 'dynStyle'
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 15:16:27 -0400
parents 693ab4dd1e9e
children
line wrap: on
line diff
--- a/html.ur	Sun May 06 13:09:43 2012 -0400
+++ b/html.ur	Sun May 06 15:16:27 2012 -0400
@@ -15,7 +15,7 @@
      Attributes = attrs,
      Folder = fl,
      Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) =>
-                    Basis.tag null None ats construct inner}
+                    Basis.tag null None noStyle None ats construct inner}
 
 fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] =
     @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())