changeset 893:062d97847473

Goodbye <font>; hello <h5> and <h6>
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 12:28:25 -0400
parents e04af9641067
children a3f58978ff32
files lib/ur/basis.urs
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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