1 applyTransformation.cmo: applyTransformation.cmi
2 applyTransformation.cmx: applyTransformation.cmi
5 lablGraphviz.cmo: lablGraphviz.cmi
6 lablGraphviz.cmx: lablGraphviz.cmi
7 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
8 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
9 matitac.cmo: matitaclean.cmi matitaMisc.cmi matitaInit.cmi matitaEngine.cmi
10 matitac.cmx: matitaclean.cmx matitaMisc.cmx matitaInit.cmx matitaEngine.cmx
11 matitaEngine.cmo: matitaEngine.cmi
12 matitaEngine.cmx: matitaEngine.cmi
13 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
14 matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi
15 matitaGeneratedGui.cmo:
16 matitaGeneratedGui.cmx:
17 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
19 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
21 matitaGui.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
22 matitaMathView.cmi matitaGtkMisc.cmi matitaGeneratedGui.cmo \
23 matitaExcPp.cmi buildTimeConf.cmo matitaGui.cmi
24 matitaGui.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
25 matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
26 matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
27 matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi
28 matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
29 matitaMathView.cmo: virtuals.cmi matitaTypes.cmi matitaScript.cmi \
30 matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \
31 lablGraphviz.cmi buildTimeConf.cmo applyTransformation.cmi \
33 matitaMathView.cmx: virtuals.cmx matitaTypes.cmx matitaScript.cmx \
34 matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \
35 lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \
37 matitaMisc.cmo: buildTimeConf.cmo matitaMisc.cmi
38 matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi
39 matita.cmo: predefined_virtuals.cmi matitaTypes.cmi matitaScript.cmi \
40 matitaMathView.cmi matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi \
42 matita.cmx: predefined_virtuals.cmx matitaTypes.cmx matitaScript.cmx \
43 matitaMathView.cmx matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx \
45 matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaGtkMisc.cmi \
46 matitaEngine.cmi buildTimeConf.cmo matitaScript.cmi
47 matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaGtkMisc.cmx \
48 matitaEngine.cmx buildTimeConf.cmx matitaScript.cmi
49 matitaTypes.cmo: matitaTypes.cmi
50 matitaTypes.cmx: matitaTypes.cmi
51 predefined_virtuals.cmo: virtuals.cmi predefined_virtuals.cmi
52 predefined_virtuals.cmx: virtuals.cmx predefined_virtuals.cmi
53 virtuals.cmo: virtuals.cmi
54 virtuals.cmx: virtuals.cmi
55 applyTransformation.cmi:
60 matitaGtkMisc.cmi: matitaGeneratedGui.cmo
61 matitaGui.cmi: matitaGuiTypes.cmi
62 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmo \
63 applyTransformation.cmi
65 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
67 matitaScript.cmi: matitaTypes.cmi
69 predefined_virtuals.cmi: