diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 11:13:46 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 11:13:46 -0400 |
commit | 14c2a9e4b84d7344b40c7398c8896338939bfcc1 (patch) | |
tree | d4a6d210fcc14e26dd25bc5e1ac23fc640eee299 /lib/basis.urs | |
parent | fd2079464d7b65430af09f2734fa55039006a3e3 (diff) |
foldTRX2
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index e1cb5082..f5bfa740 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -259,6 +259,8 @@ con html = [Html] 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 [] [] [] |