-lablGraphviz.cmo: lablGraphviz.cmi
-lablGraphviz.cmx: lablGraphviz.cmi
-matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
-matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.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
-matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi
-matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi
-matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
-matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi
-matitaGeneratedGui.cmo:
-matitaGeneratedGui.cmx:
-matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
+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 \