]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/.depend.opt
matitaMisc.cmx \
matitaInit.cmx \
matitaGui.cmx \
matitaMisc.cmx \
matitaInit.cmx \
matitaGui.cmx \
buildTimeConf.cmx \
applyTransformation.cmx
matitaEngine.cmx : \
buildTimeConf.cmx \
applyTransformation.cmx
matitaEngine.cmx : \
matitaExcPp.cmi :
matitaGeneratedGui.cmx :
matitaGtkMisc.cmx : \
matitaExcPp.cmi :
matitaGeneratedGui.cmx :
matitaGtkMisc.cmx : \
matitaGeneratedGui.cmx \
buildTimeConf.cmx \
matitaGtkMisc.cmi
matitaGeneratedGui.cmx \
buildTimeConf.cmx \
matitaGtkMisc.cmi
matitaGui.cmi
matitaGui.cmi : \
matitaGuiTypes.cmi
matitaGui.cmi
matitaGui.cmi : \
matitaGuiTypes.cmi
matitaGuiTypes.cmi : \
matitaGeneratedGui.cmx \
applyTransformation.cmi
matitaGuiTypes.cmi : \
matitaGeneratedGui.cmx \
applyTransformation.cmi
matitaMisc.cmi
matitaMisc.cmi : \
matitaGuiTypes.cmi
matitaMisc.cmi
matitaMisc.cmi : \
matitaGuiTypes.cmi
+matitaMiscCli.cmx : \
+ matitaMiscCli.cmi
+matitaMiscCli.cmi :
matitaScript.cmx : \
virtuals.cmx \
matitaTypes.cmx \
matitaScript.cmx : \
virtuals.cmx \
matitaTypes.cmx \
matitaTypes.cmi :
matitac.cmx : \
matitaclean.cmx \
matitaTypes.cmi :
matitac.cmx : \
matitaclean.cmx \
matitaInit.cmx \
matitaExcPp.cmx \
matitaEngine.cmx
matitaclean.cmx : \
matitaInit.cmx \
matitaExcPp.cmx \
matitaEngine.cmx
matitaclean.cmx : \
matitaInit.cmx \
matitaclean.cmi
matitaclean.cmi :
matitaInit.cmx \
matitaclean.cmi
matitaclean.cmi :