matitaGui.cmi
matitaGui.cmx: matitaConsole.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmx \
matitaGui.cmi
-matitaInterpreter.cmo: matitaProof.cmi matitaTypes.cmo matitaInterpreter.cmi
-matitaInterpreter.cmx: matitaProof.cmx matitaTypes.cmx matitaInterpreter.cmi
+matitaInterpreter.cmo: matitaConsole.cmi matitaProof.cmi matitaTypes.cmo \
+ matitaInterpreter.cmi
+matitaInterpreter.cmx: matitaConsole.cmx matitaProof.cmx matitaTypes.cmx \
+ matitaInterpreter.cmi
matita.cmo: buildTimeConf.cmo matitaDisambiguator.cmi matitaGtkMisc.cmi \
matitaGui.cmi matitaInterpreter.cmi matitaProof.cmi matitaTypes.cmo
matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
matitaTypes.cmx: buildTimeConf.cmx
matitaDisambiguator.cmi: matitaTypes.cmo
matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo
-matitaGui.cmi: matitaGeneratedGui.cmi
-matitaInterpreter.cmi: matitaTypes.cmo
+matitaGui.cmi: matitaConsole.cmi matitaGeneratedGui.cmi
+matitaInterpreter.cmi: matitaConsole.cmi matitaTypes.cmo
matitaProof.cmi: matitaTypes.cmo