Mercurial > urweb

diff lib/ur/basis.urs @ 817:4585f744574a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ccheckbox
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 May 2009 10:34:56 -0400
parents 9330ba3a2799
children 395a5d450cc0
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu May 21 10:18:20 2009 -0400
+++ b/lib/ur/basis.urs	Thu May 21 10:34:56 2009 -0400
@@ -631,6 +631,8 @@
 val ctextbox : cformTag [Value = string, Size = int, Source = source string] []
 val button : cformTag [Value = string, Onclick = transaction unit] []
 
+val ccheckbox : cformTag [Value = bool, Size = int, Source = source bool] []
+
 con cselect = [Cselect]
 val cselect : cformTag [Source = source string,
                         Onchange = transaction unit] cselect