usr/share/matita/help
usr/share/matita/icons
usr/share/matita/AUTHORS
usr/share/matita/LICENSE
usr/share/matita/*.xml
usr/share/matita/*.in
usr/share/matita/*.lang
usr/share/matita/*.gtkrc
usr/share/matita/*.moo
usr/share/matita/*.templ
usr/share/matita/matita usr/bin/
usr/share/matita/matitac usr/bin/
usr/share/matita/matitamake usr/bin/
usr/share/matita/matitadep usr/bin/
usr/share/matita/matitaclean usr/bin/
usr/share/man/* usr/share/man/