applyTransformation.cmo : \
    applyTransformation.cmi
applyTransformation.cmx : \
    applyTransformation.cmi
applyTransformation.cmi :
buildTimeConf.cmo :
buildTimeConf.cmx :
cicMathView.cmo : \
    matitaMisc.cmi \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmi \
    buildTimeConf.cmo \
    applyTransformation.cmi \
    cicMathView.cmi
cicMathView.cmx : \
    matitaMisc.cmx \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmx \
    buildTimeConf.cmx \
    applyTransformation.cmx \
    cicMathView.cmi
cicMathView.cmi : \
    matitaGuiTypes.cmi \
    applyTransformation.cmi
lablGraphviz.cmo : \
    lablGraphviz.cmi
lablGraphviz.cmx : \
    lablGraphviz.cmi
lablGraphviz.cmi :
matita.cmo : \
    predefined_virtuals.cmi \
    matitaScript.cmi \
    matitaMisc.cmi \
    matitaInit.cmi \
    matitaGui.cmi \
    buildTimeConf.cmo \
    applyTransformation.cmi
matita.cmx : \
    predefined_virtuals.cmx \
    matitaScript.cmx \
    matitaMisc.cmx \
    matitaInit.cmx \
    matitaGui.cmx \
    buildTimeConf.cmx \
    applyTransformation.cmx
matitaEngine.cmo : \
    applyTransformation.cmi \
    matitaEngine.cmi
matitaEngine.cmx : \
    applyTransformation.cmx \
    matitaEngine.cmi
matitaEngine.cmi : \
    applyTransformation.cmi
matitaExcPp.cmo : \
    matitaEngine.cmi \
    matitaExcPp.cmi
matitaExcPp.cmx : \
    matitaEngine.cmx \
    matitaExcPp.cmi
matitaExcPp.cmi :
matitaGeneratedGui.cmo :
matitaGeneratedGui.cmx :
matitaGtkMisc.cmo : \
    matitaGeneratedGui.cmo \
    buildTimeConf.cmo \
    matitaGtkMisc.cmi
matitaGtkMisc.cmx : \
    matitaGeneratedGui.cmx \
    buildTimeConf.cmx \
    matitaGtkMisc.cmi
matitaGtkMisc.cmi : \
    matitaGeneratedGui.cmo
matitaGui.cmo : \
    matitaTypes.cmi \
    matitaScript.cmi \
    matitaMisc.cmi \
    matitaMathView.cmi \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmi \
    matitaGeneratedGui.cmo \
    matitaExcPp.cmi \
    buildTimeConf.cmo \
    matitaGui.cmi
matitaGui.cmx : \
    matitaTypes.cmx \
    matitaScript.cmx \
    matitaMisc.cmx \
    matitaMathView.cmx \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmx \
    matitaGeneratedGui.cmx \
    matitaExcPp.cmx \
    buildTimeConf.cmx \
    matitaGui.cmi
matitaGui.cmi : \
    matitaGuiTypes.cmi
matitaGuiInit.cmo :
matitaGuiInit.cmx :
matitaGuiTypes.cmi : \
    matitaGeneratedGui.cmo \
    applyTransformation.cmi
matitaInit.cmo : \
    matitaExcPp.cmi \
    buildTimeConf.cmo \
    matitaInit.cmi
matitaInit.cmx : \
    matitaExcPp.cmx \
    buildTimeConf.cmx \
    matitaInit.cmi
matitaInit.cmi :
matitaMathView.cmo : \
    virtuals.cmi \
    matitaTypes.cmi \
    matitaMisc.cmi \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmi \
    matitaGeneratedGui.cmo \
    matitaExcPp.cmi \
    lablGraphviz.cmi \
    cicMathView.cmi \
    buildTimeConf.cmo \
    applyTransformation.cmi \
    matitaMathView.cmi
matitaMathView.cmx : \
    virtuals.cmx \
    matitaTypes.cmx \
    matitaMisc.cmx \
    matitaGuiTypes.cmi \
    matitaGtkMisc.cmx \
    matitaGeneratedGui.cmx \
    matitaExcPp.cmx \
    lablGraphviz.cmx \
    cicMathView.cmx \
    buildTimeConf.cmx \
    applyTransformation.cmx \
    matitaMathView.cmi
matitaMathView.cmi : \
    matitaTypes.cmi \
    matitaGuiTypes.cmi
matitaMisc.cmo : \
    matitaGuiTypes.cmi \
    buildTimeConf.cmo \
    matitaMisc.cmi
matitaMisc.cmx : \
    matitaGuiTypes.cmi \
    buildTimeConf.cmx \
    matitaMisc.cmi
matitaMisc.cmi : \
    matitaGuiTypes.cmi
matitaMiscCli.cmo : \
    matitaMiscCli.cmi
matitaMiscCli.cmx : \
    matitaMiscCli.cmi
matitaMiscCli.cmi :
matitaScript.cmo : \
    virtuals.cmi \
    matitaTypes.cmi \
    matitaMisc.cmi \
    matitaMathView.cmi \
    matitaGtkMisc.cmi \
    matitaEngine.cmi \
    cicMathView.cmi \
    buildTimeConf.cmo \
    matitaScript.cmi
matitaScript.cmx : \
    virtuals.cmx \
    matitaTypes.cmx \
    matitaMisc.cmx \
    matitaMathView.cmx \
    matitaGtkMisc.cmx \
    matitaEngine.cmx \
    cicMathView.cmx \
    buildTimeConf.cmx \
    matitaScript.cmi
matitaScript.cmi :
matitaTypes.cmo : \
    matitaTypes.cmi
matitaTypes.cmx : \
    matitaTypes.cmi
matitaTypes.cmi :
matitac.cmo : \
    matitaclean.cmi \
    matitaMiscCli.cmi \
    matitaInit.cmi \
    matitaExcPp.cmi \
    matitaEngine.cmi
matitac.cmx : \
    matitaclean.cmx \
    matitaMiscCli.cmx \
    matitaInit.cmx \
    matitaExcPp.cmx \
    matitaEngine.cmx
matitaclean.cmo : \
    matitaMiscCli.cmi \
    matitaInit.cmi \
    matitaclean.cmi
matitaclean.cmx : \
    matitaMiscCli.cmx \
    matitaInit.cmx \
    matitaclean.cmi
matitaclean.cmi :
predefined_virtuals.cmo : \
    virtuals.cmi \
    predefined_virtuals.cmi
predefined_virtuals.cmx : \
    virtuals.cmx \
    predefined_virtuals.cmi
predefined_virtuals.cmi :
virtuals.cmo : \
    virtuals.cmi
virtuals.cmx : \
    virtuals.cmi
virtuals.cmi :