Mercurial > urweb

diff lib/basis.urs @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents c5335613f31e
children f45f23ae20ed
line wrap: on
line diff
--- a/lib/basis.urs	Thu Oct 30 15:39:06 2008 -0400
+++ b/lib/basis.urs	Thu Oct 30 16:58:54 2008 -0400
@@ -352,6 +352,9 @@
 val font : bodyTag [Size = int, Face = string]
 
 val h1 : bodyTag []
+val h2 : bodyTag []
+val h3 : bodyTag []
+val h4 : bodyTag []
 val li : bodyTag []
 
 val hr : bodyTag []