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