helm/software/matita/contribs/developments.txt

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