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