X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2Froot;h=15286f493990c0ac8e86f434b5728351ccda6c30;hb=6302e8ebc63beb73aa672c9c23199bdfaa3f8715;hp=50d22b01376fb2298b36182616cf24227c0819a1;hpb=29714797b01e0ac8c22e4df2827b1785a759f482;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Coq/root b/helm/software/matita/contribs/procedural/Coq/root
index 50d22b013..15286f493 100644
--- a/helm/software/matita/contribs/procedural/Coq/root
+++ b/helm/software/matita/contribs/procedural/Coq/root
@@ -1,2 +1 @@
 baseuri=cic:/matita/procedural/Coq
-include_paths=../../../legacy