1 applyTransformation.cmo: applyTransformation.cmi
2 applyTransformation.cmx: applyTransformation.cmi
3 dump_moo.cmo: buildTimeConf.cmo
4 dump_moo.cmx: buildTimeConf.cmx
5 lablGraphviz.cmo: lablGraphviz.cmi
6 lablGraphviz.cmx: lablGraphviz.cmi
9 matitaAutoGui.cmo: matitaGeneratedGui.cmo applyTransformation.cmi \
11 matitaAutoGui.cmx: matitaGeneratedGui.cmx applyTransformation.cmx \
13 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
14 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
15 matitacLib.cmo: matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmo \
16 applyTransformation.cmi matitacLib.cmi
17 matitacLib.cmx: matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx \
18 applyTransformation.cmx matitacLib.cmi
19 matitac.cmo: matitaprover.cmi matitadep.cmi matitaclean.cmi matitacLib.cmi \
20 matitaWiki.cmo matitaMisc.cmi matitaInit.cmi matitaEngine.cmi make.cmi
21 matitac.cmx: matitaprover.cmx matitadep.cmx matitaclean.cmx matitacLib.cmx \
22 matitaWiki.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx make.cmx
23 matitadep.cmo: matitaInit.cmi matitadep.cmi
24 matitadep.cmx: matitaInit.cmx matitadep.cmi
25 matitaEngine.cmo: matitaEngine.cmi
26 matitaEngine.cmx: matitaEngine.cmi
27 matitaExcPp.cmo: matitaExcPp.cmi
28 matitaExcPp.cmx: matitaExcPp.cmi
29 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
31 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
33 matitaGui.cmo: matitaprover.cmi matitaTypes.cmi matitaScript.cmi \
34 matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
35 matitaGeneratedGui.cmo matitaExcPp.cmi matitaAutoGui.cmi \
36 buildTimeConf.cmo matitaGui.cmi
37 matitaGui.cmx: matitaprover.cmx matitaTypes.cmx matitaScript.cmx \
38 matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
39 matitaGeneratedGui.cmx matitaExcPp.cmx matitaAutoGui.cmx \
40 buildTimeConf.cmx matitaGui.cmi
41 matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi
42 matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
43 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
44 matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
45 buildTimeConf.cmo applyTransformation.cmi matitaMathView.cmi
46 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
47 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \
48 buildTimeConf.cmx applyTransformation.cmx matitaMathView.cmi
49 matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi
50 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
51 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
52 matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaAutoGui.cmi \
53 buildTimeConf.cmo applyTransformation.cmi
54 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
55 matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaAutoGui.cmx \
56 buildTimeConf.cmx applyTransformation.cmx
57 matitaprover.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
58 buildTimeConf.cmo matitaprover.cmi
59 matitaprover.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
60 buildTimeConf.cmx matitaprover.cmi
61 matitaScript.cmo: matitaTypes.cmi matitaMisc.cmi matitaGtkMisc.cmi \
62 matitaEngine.cmi buildTimeConf.cmo applyTransformation.cmi \
64 matitaScript.cmx: matitaTypes.cmx matitaMisc.cmx matitaGtkMisc.cmx \
65 matitaEngine.cmx buildTimeConf.cmx applyTransformation.cmx \
67 matitaTypes.cmo: matitaTypes.cmi
68 matitaTypes.cmx: matitaTypes.cmi
69 matitaWiki.cmo: matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
70 buildTimeConf.cmo applyTransformation.cmi
71 matitaWiki.cmx: matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
72 buildTimeConf.cmx applyTransformation.cmx
73 rottener.cmo: matitaInit.cmi buildTimeConf.cmo
74 rottener.cmx: matitaInit.cmx buildTimeConf.cmx
75 matitaGtkMisc.cmi: matitaGeneratedGui.cmo
76 matitaGui.cmi: matitaGuiTypes.cmi
77 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo
78 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
79 matitaScript.cmi: matitaTypes.cmi