]>
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