]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl
- bugfixed "aacr" allows to remove historical eta-conversions
[helm.git] / matita / matita / contribs / lambdadelta / apps_2 / web / apps_2_src.tbl
index f854d14eab6fa744fb1435ae7f7dde8699d7e888..29d687e7f494b147524581219dd6e12af79cc169 100644 (file)
@@ -33,8 +33,8 @@ table {
    ]
 }
 
-class "component" { 0 }
+class "top"               { * }
 
-class "plane" { 1 }
+class "capitalize italic" { 0 }
 
-class "file" { 2 * }
+class "italic"            { 1 }