Mercurial > urweb

diff lib/basis.urs @ 469:b393c2fc80f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
About to begin optimization of recursive transaction functions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 17:09:53 -0500
parents 3f1b9231a37b
children 7cb418e9714f
line wrap: on
line diff
--- a/lib/basis.urs	Thu Nov 06 15:52:13 2008 -0500
+++ b/lib/basis.urs	Thu Nov 06 17:09:53 2008 -0500
@@ -374,7 +374,10 @@
 val h2 : bodyTag []
 val h3 : bodyTag []
 val h4 : bodyTag []
+
 val li : bodyTag []
+val ol : bodyTag []
+val ul : bodyTag []
 
 val hr : bodyTag []