# HG changeset patch # User Adam Chlipala # Date 1336324183 14400 # Node ID 693ab4dd1e9e0f124ce4f7bc387ad6461c29005b # Parent 9d6b931fbd13007cfc1aedfe8dc16f0dea9ec9fa Track change to handling of 'class' by Basis.tag diff -r 9d6b931fbd13 -r 693ab4dd1e9e html.ur --- a/html.ur Wed May 02 11:47:37 2012 -0400 +++ b/html.ur Sun May 06 13:09:43 2012 -0400 @@ -15,7 +15,7 @@ Attributes = attrs, Folder = fl, Construct = fn [ctx] [[Body] ~ ctx] (ats : $use) (inner : xml ([Body] ++ ctx) [] []) => - Basis.tag None None ats construct inner} + Basis.tag null None ats construct inner} fun simpleTag [ignore] name (bt : bodyTag ignore) : tag [] = @@tag [[]] [ignore] ! _ name {} (fn [ctx] [[Body] ~ ctx] => bt ())