limits: reorganized and attached to nightly tests (cow compiles fully)

[helm.git] / helm / software / matita / contribs / limits / root

diff --git a/helm/software/matita/contribs/limits/root b/helm/software/matita/contribs/limits/root
index cde289d74bed50614a6240daba5a878d775d0719..86796e6ae85acf98fb86d44d0d410287f6dbe833 100644 (file)
--- a/helm/software/matita/contribs/limits/root
+++ b/helm/software/matita/contribs/limits/root
@@ -1 +1 @@
-baseuri=cic:/matita/PREDICATIVE-TOPOLOGY
+baseuri=cic:/matita/limits