-matitaCicMisc.cmo: matitaTypes.cmo
-matitaCicMisc.cmx: matitaTypes.cmx
-matitaConsole.cmo: buildTimeConf.cmo matitaGtkMisc.cmi matitaTypes.cmo \
- matitaConsole.cmi
-matitaConsole.cmx: buildTimeConf.cmx matitaGtkMisc.cmx matitaTypes.cmx \
- matitaConsole.cmi
-matitaDisambiguator.cmo: matitaTypes.cmo matitaDisambiguator.cmi
+matita.cmo: buildTimeConf.cmo matitaDb.cmi matitaDisambiguator.cmi \
+ matitaGtkMisc.cmi matitaGui.cmi matitaInterpreter.cmi matitaMathView.cmi \
+ matitaMisc.cmi matitaProof.cmi matitaTypes.cmi
+matita.cmx: buildTimeConf.cmx matitaDb.cmx matitaDisambiguator.cmx \
+ matitaGtkMisc.cmx matitaGui.cmx matitaInterpreter.cmx matitaMathView.cmx \
+ matitaMisc.cmx matitaProof.cmx matitaTypes.cmx
+matitaCicMisc.cmo: matitaTypes.cmi matitaCicMisc.cmi
+matitaCicMisc.cmx: matitaTypes.cmx matitaCicMisc.cmi
+matitaConsole.cmo: buildTimeConf.cmo matitaGtkMisc.cmi matitaMisc.cmi \
+ matitaTypes.cmi matitaConsole.cmi
+matitaConsole.cmx: buildTimeConf.cmx matitaGtkMisc.cmx matitaMisc.cmx \
+ matitaTypes.cmx matitaConsole.cmi
+matitaDb.cmo: matitaDb.cmi
+matitaDb.cmx: matitaDb.cmi
+matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi