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 matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
18 matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
19 matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
20 buildTimeConf.cmx matitaGui.cmi
21 matitaGui.cmi : matitaGuiTypes.cmi
22 matitaGuiTypes.cmi : applyTransformation.cmi
23 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
25 matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
26 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \
27 cicMathView.cmx buildTimeConf.cmx applyTransformation.cmx \
29 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
30 matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
31 matitaMisc.cmi : matitaGuiTypes.cmi
32 matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
33 matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
34 buildTimeConf.cmx matitaScript.cmi
36 matitaTypes.cmx : matitaTypes.cmi
38 matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
40 matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
42 predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
43 predefined_virtuals.cmi :
44 virtuals.cmx : virtuals.cmi