X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Froot;h=4fb517279aa8d0df1283bd3ef5fbbc4dbb4b3b8b;hb=380ceb6b6552fd9ebd48d710ab12931d5d97e465;hp=c41bf7380b7ad881f300a99da64eaebc5cd93e4a;hpb=e8998d29ab83e7b6aa495a079193705b2f6743d3;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/root b/matita/matita/contribs/lambdadelta/root
index c41bf7380..4fb517279 100644
--- a/matita/matita/contribs/lambdadelta/root
+++ b/matita/matita/contribs/lambdadelta/root
@@ -1 +1 @@
-baseuri=cic:/matita/lambda_delta/
+baseuri=cic:/matita/lambdadelta/