1 applyTransformation.cmo : applyTransformation.cmi
2 applyTransformation.cmx : applyTransformation.cmi
5 dump_moo.cmo : buildTimeConf.cmo
6 dump_moo.cmx : buildTimeConf.cmx
7 lablGraphviz.cmo : lablGraphviz.cmi
8 lablGraphviz.cmx : lablGraphviz.cmi
9 matitaAutoGui.cmo : matitaGtkMisc.cmi buildTimeConf.cmo \
10 applyTransformation.cmi matitaAutoGui.cmi
11 matitaAutoGui.cmx : matitaGtkMisc.cmx buildTimeConf.cmx \
12 applyTransformation.cmx matitaAutoGui.cmi
13 matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi
14 matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
15 matitacLib.cmo : matitaMisc.cmi matitaExcPp.cmi matitaEngine.cmi \
16 buildTimeConf.cmo applyTransformation.cmi matitacLib.cmi
17 matitacLib.cmx : matitaMisc.cmx matitaExcPp.cmx matitaEngine.cmx \
18 buildTimeConf.cmx applyTransformation.cmx matitacLib.cmi
19 matitac.cmo : matitadep.cmi matitaclean.cmi matitacLib.cmi matitaWiki.cmo \
20 matitaMisc.cmi matitaInit.cmi
21 matitac.cmx : matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
22 matitaMisc.cmx matitaInit.cmx
23 matitadep.cmo : matitaMisc.cmi matitaInit.cmi matitadep.cmi
24 matitadep.cmx : matitaMisc.cmx matitaInit.cmx matitadep.cmi
25 matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
26 matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
27 matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi
28 matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
29 matitaGtkMisc.cmo : matitaTypes.cmi buildTimeConf.cmo matitaGtkMisc.cmi
30 matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
31 matitaGui.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
32 matitaMathView.cmi matitaGtkMisc.cmi matitaExcPp.cmi matitaAutoGui.cmi \
33 buildTimeConf.cmo matitaGui.cmi
34 matitaGui.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
35 matitaMathView.cmx matitaGtkMisc.cmx matitaExcPp.cmx matitaAutoGui.cmx \
36 buildTimeConf.cmx matitaGui.cmi
37 matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi
38 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
39 matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaScript.cmi \
40 matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
41 lablGraphviz.cmi buildTimeConf.cmo applyTransformation.cmi \
43 matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaScript.cmx \
44 matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
45 lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
47 matitaMisc.cmo : buildTimeConf.cmo matitaMisc.cmi
48 matitaMisc.cmx : buildTimeConf.cmx matitaMisc.cmi
49 matita.cmo : predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \
50 matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \
51 buildTimeConf.cmo applyTransformation.cmi
52 matita.cmx : predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
53 matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \
54 buildTimeConf.cmx applyTransformation.cmx
55 matitaScript.cmo : virtuals.cmi matitacLib.cmi matitaTypes.cmi \
56 matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo \
57 applyTransformation.cmi matitaScript.cmi
58 matitaScript.cmx : virtuals.cmx matitacLib.cmx matitaTypes.cmx \
59 matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \
60 applyTransformation.cmx matitaScript.cmi
61 matitaTypes.cmo : matitaTypes.cmi
62 matitaTypes.cmx : matitaTypes.cmi
63 matitaWiki.cmo : matitaInit.cmi matitaExcPp.cmi matitaEngine.cmi \
64 buildTimeConf.cmo applyTransformation.cmi
65 matitaWiki.cmx : matitaInit.cmx matitaExcPp.cmx matitaEngine.cmx \
66 buildTimeConf.cmx applyTransformation.cmx
67 predefined_virtuals.cmo : virtuals.cmi predefined_virtuals.cmi
68 predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
69 virtuals.cmo : virtuals.cmi
70 virtuals.cmx : virtuals.cmi
71 applyTransformation.cmi :
80 matitaGui.cmi : matitaGuiTypes.cmi
81 matitaGuiTypes.cmi : matitaTypes.cmi
83 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
85 matitaScript.cmi : matitaTypes.cmi
87 predefined_virtuals.cmi :