Root directories of current matita developments 

software/matita/legacy
software/matita/library
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