# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1303105908 16200
# Node ID aae3e3b6a408be7532b675f35a84d9df6d2cf72d
# Parent  b6ce8ef0ea8868dedb3e138a491341fcfef94d60
Add two html elements: sup and sub

diff -r b6ce8ef0ea88 -r aae3e3b6a408 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Sun Apr 17 13:43:00 2011 -0400
+++ b/lib/ur/basis.urs	Mon Apr 18 01:21:48 2011 -0430
@@ -691,6 +691,8 @@
 val b : bodyTag boxAttrs
 val i : bodyTag boxAttrs
 val tt : bodyTag boxAttrs
+val sub : bodyTag boxAttrs
+val sup : bodyTag boxAttrs
 
 val h1 : bodyTag boxAttrs
 val h2 : bodyTag boxAttrs