+applyTransformation.cmo: applyTransformation.cmi
+applyTransformation.cmx: applyTransformation.cmi
+dump_moo.cmo: buildTimeConf.cmx
+dump_moo.cmx: buildTimeConf.cmx
+lablGraphviz.cmo: lablGraphviz.cmi
+lablGraphviz.cmx: lablGraphviz.cmi
+matitaAutoGui.cmo: matitaGtkMisc.cmi matitaGeneratedGui.cmx buildTimeConf.cmx \
+ applyTransformation.cmi matitaAutoGui.cmi
+matitaAutoGui.cmx: matitaGtkMisc.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+ applyTransformation.cmx matitaAutoGui.cmi
+matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
+matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
+matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmx \
+ applyTransformation.cmi matitacLib.cmi
+matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx \
+ applyTransformation.cmx matitacLib.cmi
+matitac.cmo: matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmx \
+ matitaMisc.cmi matitaInit.cmi
+matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
+ matitaMisc.cmx matitaInit.cmx
+matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi
+matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi
+matitaEngine.cmo: matitaEngine.cmi
+matitaEngine.cmx: matitaEngine.cmi
+matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
+matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi
+matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmx buildTimeConf.cmx \
+ matitaGtkMisc.cmi
+matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+ matitaGtkMisc.cmi
+matitaGui.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
+ matitaMathView.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmx \
+ matitaExcPp.cmi matitaAutoGui.cmi buildTimeConf.cmx matitaGui.cmi
+matitaGui.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
+ matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
+ matitaExcPp.cmx matitaAutoGui.cmx buildTimeConf.cmx matitaGui.cmi
+matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmx matitaInit.cmi
+matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
+matitaMathView.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi \
+ matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
+ lablGraphviz.cmi buildTimeConf.cmx applyTransformation.cmi \
+ matitaMathView.cmi
+matitaMathView.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx \
+ matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
+ lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
+ matitaMathView.cmi
+matitaMisc.cmo: buildTimeConf.cmx matitaMisc.cmi
+matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
+matita.cmo: predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \
+ matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \
+ matitaAutoGui.cmi buildTimeConf.cmx applyTransformation.cmi
+matita.cmx: predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
+ matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \
+ matitaAutoGui.cmx buildTimeConf.cmx applyTransformation.cmx
+matitaScript.cmo: virtuals.cmi matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \
+ matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmx \
+ applyTransformation.cmi matitaScript.cmi
+matitaScript.cmx: virtuals.cmx matitacLib.cmx matitaTypes.cmx matitaMisc.cmx \
+ matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
+ applyTransformation.cmx matitaScript.cmi
+matitaTypes.cmo: matitaTypes.cmi
+matitaTypes.cmx: matitaTypes.cmi
+matitaWiki.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
+ buildTimeConf.cmx applyTransformation.cmi
+matitaWiki.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
+ buildTimeConf.cmx applyTransformation.cmx
+predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi
+predefined_virtuals.cmx: virtuals.cmx predefined_virtuals.cmi
+virtuals.cmo: virtuals.cmi
+virtuals.cmx: virtuals.cmi
+matitaGtkMisc.cmi: matitaGeneratedGui.cmx
+matitaGui.cmi: matitaGuiTypes.cmi
+matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmx
+matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
+matitaScript.cmi: matitaTypes.cmi