1 applyTransformation.cmo: applyTransformation.cmi
2 applyTransformation.cmx: applyTransformation.cmi
3 dump_moo.cmo: buildTimeConf.cmo
4 dump_moo.cmx: buildTimeConf.cmx
5 gragrep.cmo: matitaInit.cmi buildTimeConf.cmo gragrep.cmi
6 gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi
7 lablGraphviz.cmo: lablGraphviz.cmi
8 lablGraphviz.cmx: lablGraphviz.cmi
11 matitaAutoGui.cmo: matitaGeneratedGui.cmo applyTransformation.cmi \
13 matitaAutoGui.cmx: matitaGeneratedGui.cmx applyTransformation.cmx \
15 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
16 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
17 matitacLib.cmo: matitamakeLib.cmi matitaExcPp.cmi matitaEngine.cmi \
18 buildTimeConf.cmo applyTransformation.cmi matitacLib.cmi
19 matitacLib.cmx: matitamakeLib.cmx matitaExcPp.cmx matitaEngine.cmx \
20 buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi
21 matitac.cmo: matitaprover.cmi matitamake.cmi matitadep.cmi matitaclean.cmi \
22 matitacLib.cmi matitaWiki.cmo matitaMisc.cmi matitaInit.cmi \
23 matitaEngine.cmi make.cmi gragrep.cmi
24 matitac.cmx: matitaprover.cmx matitamake.cmx matitadep.cmx matitaclean.cmx \
25 matitacLib.cmx matitaWiki.cmx matitaMisc.cmx matitaInit.cmx \
26 matitaEngine.cmx make.cmx gragrep.cmx
27 matitadep.cmo: matitamakeLib.cmi matitaInit.cmi matitadep.cmi
28 matitadep.cmx: matitamakeLib.cmx matitaInit.cmx matitadep.cmi
29 matitaEngine.cmo: matitaEngine.cmi
30 matitaEngine.cmx: matitaEngine.cmi
31 matitaExcPp.cmo: matitaExcPp.cmi
32 matitaExcPp.cmx: matitaExcPp.cmi
33 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
35 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
37 matitaGui.cmo: matitaprover.cmi matitamakeLib.cmi matitaTypes.cmi \
38 matitaScript.cmi matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
39 matitaGeneratedGui.cmo matitaExcPp.cmi matitaAutoGui.cmi \
40 buildTimeConf.cmo matitaGui.cmi
41 matitaGui.cmx: matitaprover.cmx matitamakeLib.cmx matitaTypes.cmx \
42 matitaScript.cmx matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
43 matitaGeneratedGui.cmx matitaExcPp.cmx matitaAutoGui.cmx \
44 buildTimeConf.cmx matitaGui.cmi
45 matitaInit.cmo: matitamakeLib.cmi matitaExcPp.cmi buildTimeConf.cmo \
47 matitaInit.cmx: matitamakeLib.cmx matitaExcPp.cmx buildTimeConf.cmx \
49 matitamakeLib.cmo: buildTimeConf.cmo matitamakeLib.cmi
50 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
51 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi
52 matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi
53 matitaMathView.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
54 matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
55 lablGraphviz.cmi buildTimeConf.cmo applyTransformation.cmi \
57 matitaMathView.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
58 matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
59 lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
61 matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi
62 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
63 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
64 matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaAutoGui.cmi \
65 buildTimeConf.cmo applyTransformation.cmi
66 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
67 matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaAutoGui.cmx \
68 buildTimeConf.cmx applyTransformation.cmx
69 matitaprover.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
70 buildTimeConf.cmo matitaprover.cmi
71 matitaprover.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
72 buildTimeConf.cmx matitaprover.cmi
73 matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
74 matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo \
75 applyTransformation.cmi matitaScript.cmi
76 matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
77 matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
78 applyTransformation.cmx matitaScript.cmi
79 matitaTypes.cmo: matitaTypes.cmi
80 matitaTypes.cmx: matitaTypes.cmi
81 matitaWiki.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
82 buildTimeConf.cmo applyTransformation.cmi
83 matitaWiki.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
84 buildTimeConf.cmx applyTransformation.cmx
85 rottener.cmo: matitaInit.cmi buildTimeConf.cmo
86 rottener.cmx: matitaInit.cmx buildTimeConf.cmx
87 matitaGtkMisc.cmi: matitaGeneratedGui.cmo
88 matitaGui.cmi: matitaGuiTypes.cmi
89 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo
90 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
91 matitaScript.cmi: matitaTypes.cmi