Mercurial > urweb

diff lib/ur/basis.urs @ 761:16b34dc2e29c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<input type='hidden'>
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 14:48:23 -0400
parents 21f6d2e65685
children c125df6fabfc
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Apr 30 14:43:55 2009 -0400
+++ b/lib/ur/basis.urs	Thu Apr 30 14:48:23 2009 -0400
@@ -584,6 +584,7 @@
                   -> [[Form] ~ ctx] =>
                         nm :: Name -> unit
                         -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
+val hidden : formTag string [] [Value = string]
 val textbox : formTag string [] [Value = string, Size = int, Source = source string]
 val password : formTag string [] [Value = string, Size = int]
 val textarea : formTag string [] [Rows = int, Cols = int]