- rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
- matita matita.opt matitac matitac.opt \
- cicbrowser cicbrowser.opt \
- matitadep matitadep.opt \
- matitaclean matitaclean.opt \
- matitamake matitamake.opt \
- matitatop matitatop.opt \
- dump_moo