matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \