matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi
matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi
matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi
matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi