Mercurial > urweb
diff lib/ur/basis.urs @ 1412:5f4fee8a4dcd
Allow CSS class specification for <form>
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 23 Jan 2011 11:18:24 -0500 |
| parents | d328983dc5a6 |
| children | 00b79f39be25 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Jan 22 12:55:48 2011 -0500 +++ b/lib/ur/basis.urs Sun Jan 23 11:18:24 2011 -0500 @@ -710,7 +710,8 @@ val form : ctx ::: {Unit} -> bind ::: {Type} -> [[Body, Form, Table] ~ ctx] => - xml ([Body, Form] ++ ctx) [] bind + option css_class + -> xml ([Body, Form] ++ ctx) [] bind -> xml ([Body] ++ ctx) [] [] val subform : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type}