Makefile
buildTimeConf.ml
config.status
configure
config.log
autom4te.cache
matita
matita.opt
*.cm[aiox]
*.cmxa
*.[ao]