matita/contribs/developments.txt

   1 Root directories of current matita developments
   2
   3 software/matita/legacy
   4 software/matita/library
   5 software/matita/tests
   6 software/matita/dama
   7 software/matita/contribs/PREDICATIVE-TOPOLOGY
   8 software/matita/contribs/RELATIONAL
   9 software/matita/contribs/LAMBDA-TYPES/Unified-Sub
  10 software/matita/contribs/LAMBDA-TYPES/Base-1
  11 software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1