diff lib/ur/basis.urs @ 1643:b0720700c36e

'dynClass' pseudo-attribute
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Dec 2011 16:20:48 -0500
parents c3627f317bfd
children ac141fbb313a
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Dec 20 21:06:25 2011 -0500
+++ b/lib/ur/basis.urs	Tue Dec 27 16:20:48 2011 -0500
@@ -645,6 +645,7 @@
              [useOuter ~ useInner] =>
              [bindOuter ~ bindInner] =>
            option css_class
+	   -> option (signal css_class)
            -> $attrsGiven
            -> tag (attrsGiven ++ attrsAbsent)
                   ctxOuter ctxInner useOuter bindOuter