sort_new_elems on prop_only

[helm.git] / matita / contribs / developments.txt

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 4d50449410f45fdd805fa9525b4b630ea2d1e6a1..ff8bf2c365140776e69eb695673a65f2c7171154 100644 (file)
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -2,11 +2,12 @@ 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/CoRN
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+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