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/tests
   6 software/matita/dama
   7 software/matita/contribs/CoRN
   8 software/matita/contribs/PREDICATIVE-TOPOLOGY
   9 software/matita/contribs/RELATIONAL
  10 software/matita/contribs/LAMBDA-TYPES/Unified
  11 software/matita/contribs/LAMBDA-TYPES/Level-1/Base
  12 software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta