X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2Fdevelopments.txt;h=ff8bf2c365140776e69eb695673a65f2c7171154;hb=936f80cf031a7b034dd70fef49abb90e69f2e680;hp=8309258afe1dc55bb9526bc0e0795be3ef0cf611;hpb=2a8919be0dddc9e97584d4e7823da021eac60870;p=helm.git

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 8309258af..ff8bf2c36 100644
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -2,6 +2,7 @@ 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
@@ -9,3 +10,4 @@ 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/LAMBDA-TYPES/Base-2