1 applyTransformation.cmx : applyTransformation.cmi
2 applyTransformation.cmi :
4 cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
5 buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi
6 cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
7 lablGraphviz.cmx : lablGraphviz.cmi
9 matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
10 matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx
11 matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
12 matitaEngine.cmi : applyTransformation.cmi
13 matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
15 matitaGeneratedGui.cmx :
16 matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
18 matitaGtkMisc.cmi : matitaGeneratedGui.cmx
19 matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
20 matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
21 matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
22 matitaGui.cmi : matitaGuiTypes.cmi
24 matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi
25 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
27 matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
28 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaGeneratedGui.cmx \
29 matitaExcPp.cmx lablGraphviz.cmx cicMathView.cmx buildTimeConf.cmx \
30 applyTransformation.cmx matitaMathView.cmi
31 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
32 matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
33 matitaMisc.cmi : matitaGuiTypes.cmi
34 matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
35 matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
36 buildTimeConf.cmx matitaScript.cmi
38 matitaTypes.cmx : matitaTypes.cmi
40 matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
42 matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
44 predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
45 predefined_virtuals.cmi :
46 virtuals.cmx : virtuals.cmi