applyTransformation.cmi matitaScript.cmi
matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
applyTransformation.cmx matitaScript.cmi
matitaTypes.cmo: matitaTypes.cmi
matitaTypes.cmx: matitaTypes.cmi
applyTransformation.cmi matitaScript.cmi
matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
applyTransformation.cmx matitaScript.cmi
matitaTypes.cmo: matitaTypes.cmi
matitaTypes.cmx: matitaTypes.cmi