1 matitaConsole.cmo: matitaConsole.cmi
2 matitaConsole.cmx: matitaConsole.cmi
3 matitaDisambiguator.cmo: matitaTypes.cmo matitaDisambiguator.cmi
4 matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi
5 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
6 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
7 matitaGtkMisc.cmo: matitaGeneratedGui.cmi matitaTypes.cmo matitaGtkMisc.cmi
8 matitaGtkMisc.cmx: matitaGeneratedGui.cmx matitaTypes.cmx matitaGtkMisc.cmi
9 matitaGui.cmo: matitaConsole.cmi matitaGeneratedGui.cmi matitaGtkMisc.cmi \
11 matitaGui.cmx: matitaConsole.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmx \
13 matitaInterpreter.cmo: matitaProof.cmi matitaTypes.cmo matitaInterpreter.cmi
14 matitaInterpreter.cmx: matitaProof.cmx matitaTypes.cmx matitaInterpreter.cmi
15 matita.cmo: buildTimeConf.cmo matitaDisambiguator.cmi matitaGtkMisc.cmi \
16 matitaGui.cmi matitaInterpreter.cmi matitaProof.cmi matitaTypes.cmo
17 matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
18 matitaGui.cmx matitaInterpreter.cmx matitaProof.cmx matitaTypes.cmx
19 matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
20 matitaProof.cmx: matitaTypes.cmx matitaProof.cmi
21 matitaTypes.cmo: buildTimeConf.cmo
22 matitaTypes.cmx: buildTimeConf.cmx
23 matitaDisambiguator.cmi: matitaTypes.cmo
24 matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo
25 matitaGui.cmi: matitaGeneratedGui.cmi
26 matitaInterpreter.cmi: matitaTypes.cmo
27 matitaProof.cmi: matitaTypes.cmo