matitaMathView.cmx matitaLog.cmx matitaGui.cmx matitaGtkMisc.cmx \
matitaEngine.cmx matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx
matitaScript.cmo: matitaTypes.cmo matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
matitaMathView.cmx matitaLog.cmx matitaGui.cmx matitaGtkMisc.cmx \
matitaEngine.cmx matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx
matitaScript.cmo: matitaTypes.cmo matitaSync.cmi matitaMisc.cmi matitaLog.cmi \