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