removing old contribs

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

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 503e8b7a2d342d6de1148aebb02dd7c16ebd41ca..b64a344f536949ad9f96d20b3fc5c116a5039084 100644 (file)
--- 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
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+software/matita/contribs/LOGIC