matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaAutoGui.cmx \
buildTimeConf.cmx applyTransformation.cmx
matitaScript.cmo: matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \
matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaAutoGui.cmx \
buildTimeConf.cmx applyTransformation.cmx
matitaScript.cmo: matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \