matitaB/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/LOGIC