λδ site update

[helm.git] / matita / matita / contribs / lambdadelta / ground / web / ground_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 0dfbaaecf7f81f79284dd04e755d5f749bf2d60b..2ca13aee927b02499ea9a74a053b0c3baf26e9cc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
@@ -1,4 +1,4 @@
-name "ground_2_src"
+name "ground_src"
 
 table {
    class "gray"