applyTransformation.cmo: applyTransformation.cmi applyTransformation.cmx: applyTransformation.cmi matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi matitaFilesystem.cmo: matitaFilesystem.cmi matitaFilesystem.cmx: matitaFilesystem.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 matitaTypes.cmo: matitaTypes.cmi matitaTypes.cmx: matitaTypes.cmi buildTimeConf.cmo: buildTimeConf.cmx: matitac.cmo: matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaEngine.cmi matitac.cmx: matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx matitaGeneratedGui.cmo: matitaGeneratedGui.cmx: matitaMisc.cmo: matitaGuiTypes.cmi buildTimeConf.cmo matitaMisc.cmi matitaMisc.cmx: matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi predefined_virtuals.cmx: virtuals.cmx predefined_virtuals.cmi 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 matitadaemon.cmo: matitaInit.cmi matitaFilesystem.cmi matitaExcPp.cmi \ matitaEngine.cmi matitaAuthentication.cmi applyTransformation.cmi matitadaemon.cmx: matitaInit.cmx matitaFilesystem.cmx matitaExcPp.cmx \ matitaEngine.cmx matitaAuthentication.cmx applyTransformation.cmx matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \ matitaGtkMisc.cmi matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \ matitaGtkMisc.cmi virtuals.cmo: virtuals.cmi virtuals.cmx: virtuals.cmi lablGraphviz.cmo: lablGraphviz.cmi lablGraphviz.cmx: lablGraphviz.cmi matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi 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 matitaAuthentication.cmo: matitaFilesystem.cmi matitaEngine.cmi \ matitaAuthentication.cmi matitaAuthentication.cmx: matitaFilesystem.cmx matitaEngine.cmx \ matitaAuthentication.cmi matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaScriptLexer.cmi \ matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi \ cicMathView.cmi buildTimeConf.cmo matitaScript.cmi matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaScriptLexer.cmx \ matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx \ cicMathView.cmx buildTimeConf.cmx matitaScript.cmi applyTransformation.cmi: matitaclean.cmi: matitaFilesystem.cmi: matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi matitaTypes.cmi: matitaMisc.cmi: matitaGuiTypes.cmi predefined_virtuals.cmi: cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi matitaGtkMisc.cmi: matitaGeneratedGui.cmo virtuals.cmi: lablGraphviz.cmi: matitaEngine.cmi: applyTransformation.cmi matitaGui.cmi: matitaGuiTypes.cmi matitaGuiTypes.cmi: matitaGeneratedGui.cmo applyTransformation.cmi matitaScriptLexer.cmi: matitaAuthentication.cmi: matitaFilesystem.cmi matitaEngine.cmi matitaExcPp.cmi: matitaInit.cmi: matitaScript.cmi: matitaScriptLexer.cmo: matitaScriptLexer.cmi matitaScriptLexer.cmx: matitaScriptLexer.cmi matitaScriptLexer.cmi: