Mercurial > urweb

diff lib/basis.urs @ 326:950320f33232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud list works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 18:32:41 -0400
parents e457d8972ff1
children 02d15d81ae9b
line wrap: on
line diff
--- a/lib/basis.urs	Thu Sep 11 17:41:52 2008 -0400
+++ b/lib/basis.urs	Thu Sep 11 18:32:41 2008 -0400
@@ -251,6 +251,7 @@
 con xhtml = xml [Html]
 con page = xhtml [] []
 con xbody = xml [Body] [] []
+con xtr = xml [Body, Tr] [] []
 
 (*** HTML details *)