Mercurial > urweb
diff lib/basis.lig @ 190:3eb53c957d10
Checkboxes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 07 Aug 2008 13:09:26 -0400 |
parents | 88d46972de53 |
children | dd82457fda82 |
line wrap: on
line diff
--- a/lib/basis.lig Sun Aug 03 19:52:37 2008 -0400 +++ b/lib/basis.lig Thu Aug 07 13:09:26 2008 -0400 @@ -71,6 +71,8 @@ val password : lformTag string [] [] val ltextarea : lformTag string [] [] +val checkbox : lformTag bool [] [] + con radio = [Body, Radio] val radio : lformTag string radio [] val radioOption : unit -> tag [Value = string] radio [] [] []