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 matitaGtkMisc.cmx buildTimeConf.cmx \
11 applyTransformation.cmx
12 matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
13 matitaEngine.cmi : applyTransformation.cmi
14 matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
16 matitaGeneratedGui.cmx :
17 matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
19 matitaGtkMisc.cmi : matitaGeneratedGui.cmx
20 matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
21 matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
22 matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
23 matitaGui.cmi : matitaGuiTypes.cmi
25 matitaGuiTypes.cmi : matitaGeneratedGui.cmx applyTransformation.cmi
26 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
28 matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
29 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaGeneratedGui.cmx \
30 matitaExcPp.cmx lablGraphviz.cmx cicMathView.cmx buildTimeConf.cmx \
31 applyTransformation.cmx matitaMathView.cmi
32 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
33 matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
34 matitaMisc.cmi : matitaGuiTypes.cmi
35 matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
36 matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
37 buildTimeConf.cmx matitaScript.cmi
39 matitaTypes.cmx : matitaTypes.cmi
41 matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
43 matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
45 predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
46 predefined_virtuals.cmi :
47 virtuals.cmx : virtuals.cmi