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 matitaGtkMisc.cmi buildTimeConf.cmo \ applyTransformation.cmi matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \ matitaInit.cmx matitaGui.cmx matitaGtkMisc.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 : matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \ matitaGtkMisc.cmi matitaGtkMisc.cmx : matitaTypes.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 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 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 matitaMisc.cmi matitaInit.cmi matitaExcPp.cmi \ matitaEngine.cmi matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \ matitaEngine.cmx matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi matitaclean.cmx : matitaMisc.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 :