X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2FBTM%2Fweb%2Fchc_45.tbl;h=187b82e7a2f0d6fde1755425d786681bc12de828;hb=3c7b4071a9ac096b02334c1d47468776b948e2de;hp=a822c986fdd5114899a9b75f8abfd4101b3b7a83;hpb=1ac7951d70bb5c850697643e3df303290f69bc74;p=helm.git diff --git a/matita/matita/contribs/BTM/web/chc_45.tbl b/matita/matita/contribs/BTM/web/chc_45.tbl index a822c986f..187b82e7a 100644 --- a/matita/matita/contribs/BTM/web/chc_45.tbl +++ b/matita/matita/contribs/BTM/web/chc_45.tbl @@ -14,8 +14,6 @@ table { } -class "component" { 0 } +class "capitalize italic" { 0 } -class "text" { 1 } - -class "number" { 2 * } +class "right italic" { 2 * }