X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fweb%2Fchanges.tbl;h=ee327a5de1f68315348af3faafdd4cc02d338110;hp=9ef76e8f408e1b07422d902293e6b9ee84ea6d9f;hb=b118146b97959e6a6dde18fdd014b8e1e676a2d1;hpb=613d8642b1154dde0c026cbdcd96568910198251

diff --git a/matita/matita/contribs/lambdadelta/web/changes.tbl b/matita/matita/contribs/lambdadelta/web/changes.tbl
index 9ef76e8f4..ee327a5de 100644
--- a/matita/matita/contribs/lambdadelta/web/changes.tbl
+++ b/matita/matita/contribs/lambdadelta/web/changes.tbl
@@ -18,8 +18,8 @@ table {
        }
      ]
      [ [{ "equivalences" * }]
-       { "" "" "" "" "" "" "" }
-       { "+" "-" "+" "+" "+" "+" "-" }
+       { "" "" "" "" "" "" "" "" }
+       { "+" "-" "+" "+" "+" "+" "-" "+" }
        { "derived rt-equivalence (terms)"
          "primitive decomposed rt-equivalence (terms) removed"
          "equivalence for whd rt-reduction (terms)"
@@ -27,6 +27,7 @@ table {
          "equivalence up to exclusion binders (selected lenvs)"
          "syntactic equivalence (items)"
          "syntactic equivalence (selected closures) removed"
+         "generic quivalence (terms, items, referred lenvs, referred closures)"
        }
      ]
      [ [{ "partial orders" * }]