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 buildTimeConf.cmi \
27 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
29 matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
30 matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
31 matitaGeneratedGui.cmo matitaExcPp.cmi buildTimeConf.cmi matitaGui.cmi
32 matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
33 matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
34 matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
35 matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmi matitaInit.cmi
36 matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi
37 matitamakeLib.cmo: buildTimeConf.cmi matitamakeLib.cmi
38 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
39 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi
40 matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi
41 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
42 matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi buildTimeConf.cmi \
43 applyTransformation.cmi matitaMathView.cmi
44 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
45 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
46 applyTransformation.cmx matitaMathView.cmi
47 matitaMisc.cmo: buildTimeConf.cmi matitaMisc.cmi
48 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
49 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
50 matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmi
51 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
52 matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx
53 matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaMisc.cmi \
54 matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmi \
55 applyTransformation.cmi matitaScript.cmi
56 matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaMisc.cmx \
57 matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
58 applyTransformation.cmx matitaScript.cmi
59 matitaTypes.cmo: matitaTypes.cmi
60 matitaTypes.cmx: matitaTypes.cmi
61 matitaGtkMisc.cmi: matitaGeneratedGui.cmo
62 matitaGui.cmi: matitaGuiTypes.cmi
63 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo
64 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
65 matitaScript.cmi: matitaTypes.cmi