X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground_src.tbl;h=2ca13aee927b02499ea9a74a053b0c3baf26e9cc;hp=0dfbaaecf7f81f79284dd04e755d5f749bf2d60b;hb=614d006be363d2e2bbfdf8eb3c20c8604d278be1;hpb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl b/matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl
index 0dfbaaecf..2ca13aee9 100644
--- 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"