16 matita/components/METAS/META*
20 matita/components/extlib/componentsConf.ml
21 matita/matita/matitaGeneratedGui.ml
22 matita/matita/matita.conf.xml
23 matita/matita/buildTimeConf.ml
24 matita/matita/matita.glade.utf8
30 matita/matita/matita.opt
31 matita/matita/matitac.opt
32 matita/matita/matitaclean
33 matita/matita/matitaclean.opt
35 matita/matita/help/C/version.txt
37 matita/matita/contribs/lambdadelta/token
38 matita/matita/contribs/lambdadelta/2A1
39 matita/matita/contribs/lambdadelta/apps_2/notation
40 matita/matita/contribs/lambdadelta/apps_2/models