Mercurial > urweb
diff lib/basis.urs @ 325:e457d8972ff1
Crud listing IDs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 17:41:52 -0400 |
parents | 99e4f39e820d |
children | 950320f33232 |
line wrap: on
line diff
--- a/lib/basis.urs Thu Sep 11 13:06:51 2008 -0400 +++ b/lib/basis.urs Thu Sep 11 17:41:52 2008 -0400 @@ -250,6 +250,7 @@ con xhtml = xml [Html] con page = xhtml [] [] +con xbody = xml [Body] [] [] (*** HTML details *) @@ -304,6 +305,13 @@ -> use ::: {Type} -> unit -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] +(*** Tables *) + +val tabl : unit -> tag [Border = int] [Body] [Body, Table] [] [] +val tr : unit -> tag [] [Body, Table] [Body, Tr] [] [] +val th : unit -> tag [] [Body, Tr] [Body] [] [] +val td : unit -> tag [] [Body, Tr] [Body] [] [] + (** Aborting *)