X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2FBTM%2Fweb%2Fchc_45.tbl;h=187b82e7a2f0d6fde1755425d786681bc12de828;hb=795ac6cc4ef54b4470b5e2fba287acca440c9c18;hp=a822c986fdd5114899a9b75f8abfd4101b3b7a83;hpb=abd0169d8025bf4d613a612231ad5b0c4c1db009;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 * }