1 applyTransformation.cmo : applyTransformation.cmi
2 applyTransformation.cmx : applyTransformation.cmi
5 cicMathView.cmo : matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \
6 buildTimeConf.cmx applyTransformation.cmi cicMathView.cmi
7 cicMathView.cmx : matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
8 buildTimeConf.cmx applyTransformation.cmx cicMathView.cmi
9 lablGraphviz.cmo : lablGraphviz.cmi
10 lablGraphviz.cmx : lablGraphviz.cmi
11 matitaclean.cmo : matitaMisc.cmi matitaInit.cmi matitaclean.cmi
12 matitaclean.cmx : matitaMisc.cmx matitaInit.cmx matitaclean.cmi
13 matitac.cmo : matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaExcPp.cmi \
15 matitac.cmx : matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
17 matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
18 matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
19 matitaExcPp.cmo : matitaEngine.cmi matitaExcPp.cmi
20 matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
21 matitaGtkMisc.cmo : matitaTypes.cmi buildTimeConf.cmx matitaGtkMisc.cmi
22 matitaGtkMisc.cmx : matitaTypes.cmx buildTimeConf.cmx matitaGtkMisc.cmi
23 matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
24 matitaMathView.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
25 buildTimeConf.cmx matitaGui.cmi
26 matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
27 matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
28 buildTimeConf.cmx matitaGui.cmi
29 matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmx matitaInit.cmi
30 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
31 matitaMathView.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
32 matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
33 cicMathView.cmi buildTimeConf.cmx applyTransformation.cmi \
35 matitaMathView.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
36 matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \
37 cicMathView.cmx buildTimeConf.cmx applyTransformation.cmx \
39 matitaMisc.cmo : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
40 matitaMisc.cmx : matitaGuiTypes.cmi buildTimeConf.cmx matitaMisc.cmi
41 matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \
42 matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmx \
43 applyTransformation.cmi
44 matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
45 matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
46 applyTransformation.cmx
47 matitaScript.cmo : virtuals.cmi matitaTypes.cmi matitaMisc.cmi \
48 matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi cicMathView.cmi \
49 buildTimeConf.cmx matitaScript.cmi
50 matitaScript.cmx : virtuals.cmx matitaTypes.cmx matitaMisc.cmx \
51 matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx cicMathView.cmx \
52 buildTimeConf.cmx matitaScript.cmi
53 matitaTypes.cmo : matitaTypes.cmi
54 matitaTypes.cmx : matitaTypes.cmi
55 predefined_virtuals.cmo : virtuals.cmi predefined_virtuals.cmi
56 predefined_virtuals.cmx : virtuals.cmx predefined_virtuals.cmi
57 virtuals.cmo : virtuals.cmi
58 virtuals.cmx : virtuals.cmi
59 applyTransformation.cmi :
60 cicMathView.cmi : matitaGuiTypes.cmi applyTransformation.cmi
63 matitaEngine.cmi : applyTransformation.cmi
66 matitaGui.cmi : matitaGuiTypes.cmi
67 matitaGuiTypes.cmi : applyTransformation.cmi
69 matitaMathView.cmi : matitaTypes.cmi matitaGuiTypes.cmi
70 matitaMisc.cmi : matitaGuiTypes.cmi
73 predefined_virtuals.cmi :