Mercurial > urweb

diff lib/basis.urs @ 332:02d15d81ae9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
foldTRX2
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 11:13:46 -0400
parents 950320f33232
children e976b187d73a
line wrap: on
line diff
--- a/lib/basis.urs	Sat Sep 13 10:44:58 2008 -0400
+++ b/lib/basis.urs	Sat Sep 13 11:13:46 2008 -0400
@@ -259,6 +259,8 @@
 con head = [Head]
 con body = [Body]
 con lform = [Body, LForm]
+con tabl = [Body, Table]
+con tr = [Body, Tr]
 
 val head : unit -> tag [] html head [] []
 val title : unit -> tag [] head [] [] []