# HG changeset patch # User Sergey Mironov # Date 1381140426 -14400 # Node ID 90e81a8bd9dad6ad44aaf0d29294dc6ad18dbdd1 # Parent 6507e973af84ac542e7bd7d7d44526847bdddc61 Add and tags diff -r 6507e973af84 -r 90e81a8bd9da lib/ur/basis.urs --- a/lib/ur/basis.urs Wed Sep 18 15:45:18 2013 +0400 +++ b/lib/ur/basis.urs Mon Oct 07 14:07:06 2013 +0400 @@ -829,6 +829,8 @@ val div : bodyTag boxAttrs val p : bodyTag boxAttrs +val strong : bodyTag boxAttrs +val em : bodyTag boxAttrs val b : bodyTag boxAttrs val i : bodyTag boxAttrs val tt : bodyTag boxAttrs