# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1247934505 14400
# Node ID 062d978474732a302a111aa5fd607a333be332f2
# Parent  e04af96410670146f59dc68d4a36a08c1dffe31e
Goodbye <font>; hello <h5> and <h6>

diff -r e04af9641067 -r 062d97847473 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Sat Jul 18 11:58:54 2009 -0400
+++ b/lib/ur/basis.urs	Sat Jul 18 12:28:25 2009 -0400
@@ -569,12 +569,13 @@
 val b : bodyTag boxEvents
 val i : bodyTag boxEvents
 val tt : bodyTag boxEvents
-val font : bodyTag ([Size = int, Face = string] ++ boxEvents)
 
 val h1 : bodyTag boxEvents
 val h2 : bodyTag boxEvents
 val h3 : bodyTag boxEvents
 val h4 : bodyTag boxEvents
+val h5 : bodyTag boxEvents
+val h6 : bodyTag boxEvents
 
 val li : bodyTag boxEvents
 val ol : bodyTag boxEvents