From 42944f71120301ea2dff0e93f3a0f2e7df4a44b0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 18:32:41 -0400
Subject: Crud list works

---
 lib/basis.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/basis.urs')

diff --git a/lib/basis.urs b/lib/basis.urs
index 8737cbde..e1cb5082 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -251,6 +251,7 @@ val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: {
 con xhtml = xml [Html]
 con page = xhtml [] []
 con xbody = xml [Body] [] []
+con xtr = xml [Body, Tr] [] []
 
 (*** HTML details *)
 
-- 
cgit v1.2.3