1 matita.cmo: buildTimeConf.cmo matitaDb.cmi matitaDisambiguator.cmi \
2 matitaGtkMisc.cmi matitaGui.cmi matitaInterpreter.cmi matitaMathView.cmi \
3 matitaMisc.cmi matitaProof.cmi matitaTypes.cmi
4 matita.cmx: buildTimeConf.cmx matitaDb.cmx matitaDisambiguator.cmx \
5 matitaGtkMisc.cmx matitaGui.cmx matitaInterpreter.cmx matitaMathView.cmx \
6 matitaMisc.cmx matitaProof.cmx matitaTypes.cmx
7 matitaCicMisc.cmo: matitaTypes.cmi matitaCicMisc.cmi
8 matitaCicMisc.cmx: matitaTypes.cmx matitaCicMisc.cmi
9 matitaConsole.cmo: buildTimeConf.cmo matitaGtkMisc.cmi matitaMisc.cmi \
10 matitaTypes.cmi matitaConsole.cmi
11 matitaConsole.cmx: buildTimeConf.cmx matitaGtkMisc.cmx matitaMisc.cmx \
12 matitaTypes.cmx matitaConsole.cmi
13 matitaDb.cmo: matitaDb.cmi
14 matitaDb.cmx: matitaDb.cmi
15 matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi
16 matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi
17 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
18 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
19 matitaGtkMisc.cmo: matitaGeneratedGui.cmi matitaTypes.cmi matitaGtkMisc.cmi
20 matitaGtkMisc.cmx: matitaGeneratedGui.cmx matitaTypes.cmx matitaGtkMisc.cmi
21 matitaGui.cmo: buildTimeConf.cmo matitaConsole.cmi matitaGeneratedGui.cmi \
22 matitaGtkMisc.cmi matitaMisc.cmi matitaGui.cmi
23 matitaGui.cmx: buildTimeConf.cmx matitaConsole.cmx matitaGeneratedGui.cmx \
24 matitaGtkMisc.cmx matitaMisc.cmx matitaGui.cmi
25 matitaInterpreter.cmo: matitaCicMisc.cmi matitaMisc.cmi matitaProof.cmi \
26 matitaTypes.cmi matitaInterpreter.cmi
27 matitaInterpreter.cmx: matitaCicMisc.cmx matitaMisc.cmx matitaProof.cmx \
28 matitaTypes.cmx matitaInterpreter.cmi
29 matitaMathView.cmo: buildTimeConf.cmo matitaCicMisc.cmi matitaGtkMisc.cmi \
30 matitaGui.cmi matitaMisc.cmi matitaProof.cmi matitaTypes.cmi \
32 matitaMathView.cmx: buildTimeConf.cmx matitaCicMisc.cmx matitaGtkMisc.cmx \
33 matitaGui.cmx matitaMisc.cmx matitaProof.cmx matitaTypes.cmx \
35 matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi
36 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
37 matitaProof.cmo: buildTimeConf.cmo matitaCicMisc.cmi matitaTypes.cmi \
39 matitaProof.cmx: buildTimeConf.cmx matitaCicMisc.cmx matitaTypes.cmx \
41 matitaTypes.cmo: buildTimeConf.cmo matitaTypes.cmi
42 matitaTypes.cmx: buildTimeConf.cmx matitaTypes.cmi
43 matitac.cmo: buildTimeConf.cmo matitaDb.cmi matitaDisambiguator.cmi \
44 matitaInterpreter.cmi matitaTypes.cmi
45 matitac.cmx: buildTimeConf.cmx matitaDb.cmx matitaDisambiguator.cmx \
46 matitaInterpreter.cmx matitaTypes.cmx
47 matitaCicMisc.cmi: matitaTypes.cmi
48 matitaConsole.cmi: matitaTypes.cmi
49 matitaDisambiguator.cmi: matitaTypes.cmi
50 matitaGtkMisc.cmi: matitaGeneratedGui.cmi matitaTypes.cmi
51 matitaGui.cmi: matitaConsole.cmi matitaGeneratedGui.cmi matitaTypes.cmi
52 matitaInterpreter.cmi: matitaTypes.cmi
53 matitaMathView.cmi: matitaTypes.cmi
54 matitaProof.cmi: matitaTypes.cmi