Mercurial > urweb

diff lib/basis.urs @ 410:c5a3d223f157

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sql demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 18:44:52 -0400
parents 345fcf91c806
children e0e9e9eca1cb
line wrap: on
line diff
--- a/lib/basis.urs	Tue Oct 21 17:49:14 2008 -0400
+++ b/lib/basis.urs	Tue Oct 21 18:44:52 2008 -0400
@@ -339,6 +339,8 @@
 val h1 : bodyTag []
 val li : bodyTag []
 
+val hr : bodyTag []
+
 val a : bodyTag [Link = transaction page]
 
 val form : ctx ::: {Unit} -> bind ::: {Type}