diff lib/basis.lig @ 155:4334bb734187

Password inputs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 11:32:01 -0400
parents e2b185379592
children 88d46972de53
line wrap: on
line diff
--- a/lib/basis.lig	Thu Jul 24 11:16:54 2008 -0400
+++ b/lib/basis.lig	Thu Jul 24 11:32:01 2008 -0400
@@ -66,6 +66,7 @@
         -> nm :: Name -> unit
         -> tag attrs ([LForm] ++ ctx) inner [] [nm = ty]
 val textbox : lformTag string [] []
+val password : lformTag string [] []
 val ltextarea : lformTag string [] []
 
 con radio = [Body, Radio]