From c53470daa7b350ac8545d8934cedbcb1aae49bd0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 21 May 2009 10:34:56 -0400
Subject: ccheckbox

---
 lib/ur/basis.urs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 45f36ef8..c5251bb8 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -631,6 +631,8 @@ con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) =>
 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
-- 
cgit v1.2.3