update in static_2

[helm.git] / matita / matita / contribs / lambdadelta / web / changes.tbl

diff --git a/matita/matita/contribs/lambdadelta/web/changes.tbl b/matita/matita/contribs/lambdadelta/web/changes.tbl
index 9ef76e8f408e1b07422d902293e6b9ee84ea6d9f..ee327a5de1f68315348af3faafdd4cc02d338110 100644 (file)
--- 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" * }]