matitaGui.cmi
matitaGui.cmx: matitaConsole.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmx \
matitaGui.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 matitaProof.cmi matitaTypes.cmo
+ matitaGui.cmi matitaInterpreter.cmi matitaProof.cmi matitaTypes.cmo
matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
- matitaGui.cmx matitaProof.cmx matitaTypes.cmx
+ matitaGui.cmx matitaInterpreter.cmx matitaProof.cmx matitaTypes.cmx
matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
matitaProof.cmx: matitaTypes.cmx matitaProof.cmi
matitaTypes.cmo: buildTimeConf.cmo
matitaTypes.cmx: buildTimeConf.cmx
matitaDisambiguator.cmi: matitaTypes.cmo
matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo
-matitaGui.cmi: matitaGeneratedGui.cmi
+matitaGui.cmi: matitaConsole.cmi matitaGeneratedGui.cmi
+matitaInterpreter.cmi: matitaConsole.cmi matitaTypes.cmo
matitaProof.cmi: matitaTypes.cmo