X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdevelopments.txt;h=b64a344f536949ad9f96d20b3fc5c116a5039084;hb=da0775e27b362e91ea1453a800bc403781cc2ca3;hp=8309258afe1dc55bb9526bc0e0795be3ef0cf611;hpb=3badd5b73076dda54a420e18af23823342701ccc;p=helm.git

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 8309258af..b64a344f5 100644
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/matita/contribs/developments.txt
@@ -2,10 +2,8 @@ Root directories of current matita developments
 
 software/matita/legacy
 software/matita/library
+software/matita/library_auto
 software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY
-software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified-Sub
-software/matita/contribs/LAMBDA-TYPES/Base-1
-software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1
+software/matita/contribs/LOGIC