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 matita.cmo: buildTimeConf.cmo matitaDisambiguator.cmi matitaGtkMisc.cmi \
14 matitaGui.cmi matitaProof.cmi matitaTypes.cmo
15 matita.cmx: buildTimeConf.cmx matitaDisambiguator.cmx matitaGtkMisc.cmx \
16 matitaGui.cmx matitaProof.cmx matitaTypes.cmx
17 matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
18 matitaProof.cmx: matitaTypes.cmx matitaProof.cmi
19 matitaTypes.cmo: buildTimeConf.cmo
20 matitaTypes.cmx: buildTimeConf.cmx
21 matitaDisambiguator.cmi: matitaTypes.cmo
22 matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmo
23 matitaGui.cmi: matitaGeneratedGui.cmi
24 matitaProof.cmi: matitaTypes.cmo