dump_moo.cmx: buildTimeConf.cmx
matitaclean.cmo: matitaInit.cmi matitaclean.cmi
matitaclean.cmx: matitaInit.cmx matitaclean.cmi
matitacLib.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
dump_moo.cmx: buildTimeConf.cmx
matitaclean.cmo: matitaInit.cmi matitaclean.cmi
matitaclean.cmx: matitaInit.cmx matitaclean.cmi
matitacLib.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
matitacLib.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
buildTimeConf.cmx matitacLib.cmi
matitac.cmo: matitamake.cmo matitadep.cmi matitaclean.cmi matitacLib.cmi
matitacLib.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
buildTimeConf.cmx matitacLib.cmi
matitac.cmo: matitamake.cmo matitadep.cmi matitaclean.cmi matitacLib.cmi
matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
matitamake.cmo: matitamakeLib.cmi matitaInit.cmi
matitamake.cmx: matitamakeLib.cmx matitaInit.cmx
matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
matitamake.cmo: matitamakeLib.cmi matitaInit.cmi
matitamake.cmx: matitamakeLib.cmx matitaInit.cmx
matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
applyTransformation.cmi matitaMathView.cmi
matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
applyTransformation.cmx matitaMathView.cmi
applyTransformation.cmi matitaMathView.cmi
matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
applyTransformation.cmx matitaMathView.cmi
matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
matitaTypes.cmo: matitaTypes.cmi
matitaTypes.cmx: matitaTypes.cmi
matitaGtkMisc.cmi: matitaGeneratedGui.cmi
matitaTypes.cmo: matitaTypes.cmi
matitaTypes.cmx: matitaTypes.cmi
matitaGtkMisc.cmi: matitaGeneratedGui.cmi