1 applyTransformation.cmo: applyTransformation.cmi
2 applyTransformation.cmx: applyTransformation.cmi
3 buildTimeConf.cmo: buildTimeConf.cmi
4 buildTimeConf.cmx: buildTimeConf.cmi
5 dump_moo.cmo: buildTimeConf.cmi
6 dump_moo.cmx: buildTimeConf.cmx
7 gragrep.cmo: matitaInit.cmi buildTimeConf.cmi gragrep.cmi
8 gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi
9 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
10 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
11 matitacLib.cmo: matitamakeLib.cmi matitaMisc.cmi matitaInit.cmi \
12 matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmi matitacLib.cmi
13 matitacLib.cmx: matitamakeLib.cmx matitaMisc.cmx matitaInit.cmx \
14 matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx matitacLib.cmi
15 matitac.cmo: matitamake.cmi matitadep.cmi matitaclean.cmi matitacLib.cmi \
17 matitac.cmx: matitamake.cmx matitadep.cmx matitaclean.cmx matitacLib.cmx \
19 matitadep.cmo: matitaInit.cmi matitadep.cmi
20 matitadep.cmx: matitaInit.cmx matitadep.cmi
21 matitaEngine.cmo: matitaEngine.cmi
22 matitaEngine.cmx: matitaEngine.cmi
23 matitaExcPp.cmo: matitaExcPp.cmi
24 matitaExcPp.cmx: matitaExcPp.cmi
25 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo matitaGtkMisc.cmi
26 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
27 matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
28 matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
29 matitaGeneratedGui.cmo matitaExcPp.cmi buildTimeConf.cmi matitaGui.cmi
30 matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
31 matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
32 matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
33 matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi
34 matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi
35 matitamakeLib.cmo: buildTimeConf.cmi matitamakeLib.cmi
36 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
37 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi
38 matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi
39 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
40 matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi buildTimeConf.cmi \
41 applyTransformation.cmi matitaMathView.cmi
42 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
43 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
44 applyTransformation.cmx matitaMathView.cmi
45 matitaMisc.cmo: buildTimeConf.cmi matitaMisc.cmi
46 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
47 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
48 matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmi
49 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
50 matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
51 matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
52 matitaEngine.cmi buildTimeConf.cmi matitaScript.cmi
53 matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
54 matitaEngine.cmx buildTimeConf.cmx matitaScript.cmi
55 matitaTypes.cmo: matitaTypes.cmi
56 matitaTypes.cmx: matitaTypes.cmi
57 matitaGtkMisc.cmi: matitaGeneratedGui.cmo
58 matitaGui.cmi: matitaGuiTypes.cmi
59 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo
60 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
61 matitaScript.cmi: matitaTypes.cmi