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 *)