X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Procedural%2Froot;h=2eb0f23fc3d1c3bed44d2c8165c6f8e738e73d90;hb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;hp=48c1ed611f5e0a7ba2ea89e88472fa10236e4bae;hpb=298868e07163c21863d542136733d24bfbec2482;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Procedural/root b/helm/software/matita/contribs/CoRN-Procedural/root
index 48c1ed611..2eb0f23fc 100644
--- a/helm/software/matita/contribs/CoRN-Procedural/root
+++ b/helm/software/matita/contribs/CoRN-Procedural/root
@@ -1 +1,2 @@
 baseuri=cic:/matita/CoRN-Procedural
+include_paths=../../legacy