1 matita.cmo: matitaTypes.cmo matitaScript.cmi matitaMisc.cmi \
2 matitaMathView.cmi matitaLog.cmi matitaGui.cmi matitaGtkMisc.cmi \
3 matitaEngine.cmi matitaDisambiguator.cmi matitaDb.cmi buildTimeConf.cmo
4 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
5 matitaMathView.cmx matitaLog.cmx matitaGui.cmx matitaGtkMisc.cmx \
6 matitaEngine.cmx matitaDisambiguator.cmx matitaDb.cmx buildTimeConf.cmx
7 matitaDb.cmo: matitaMisc.cmi matitaDb.cmi
8 matitaDb.cmx: matitaMisc.cmx matitaDb.cmi
9 matitaDisambiguator.cmo: matitaTypes.cmo matitaDisambiguator.cmi
10 matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi
11 matitaEngine.cmo: matitaTypes.cmo matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
12 matitaDisambiguator.cmi matitaDb.cmi matitaEngine.cmi
13 matitaEngine.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx matitaLog.cmx \
14 matitaDisambiguator.cmx matitaDb.cmx matitaEngine.cmi
15 matitaExcPp.cmo: matitaTypes.cmo matitaExcPp.cmi
16 matitaExcPp.cmx: matitaTypes.cmx matitaExcPp.cmi
17 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
18 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
19 matitaGtkMisc.cmo: matitaTypes.cmo matitaGeneratedGui.cmi matitaGtkMisc.cmi
20 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
21 matitaGui.cmo: matitaTypes.cmo matitaScript.cmi matitaMisc.cmi matitaLog.cmi \
22 matitaGtkMisc.cmi matitaGeneratedGui.cmi matitaExcPp.cmi \
23 buildTimeConf.cmo matitaGui.cmi
24 matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx matitaLog.cmx \
25 matitaGtkMisc.cmx matitaGeneratedGui.cmx matitaExcPp.cmx \
26 buildTimeConf.cmx matitaGui.cmi
27 matitaLog.cmo: matitaLog.cmi
28 matitaLog.cmx: matitaLog.cmi
29 matitaMathView.cmo: matitaTypes.cmo matitaScript.cmi matitaMisc.cmi \
30 matitaGui.cmi matitaGtkMisc.cmi matitaExcPp.cmi buildTimeConf.cmo \
32 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
33 matitaGui.cmx matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
35 matitaMisc.cmo: matitaTypes.cmo buildTimeConf.cmo matitaMisc.cmi
36 matitaMisc.cmx: matitaTypes.cmx buildTimeConf.cmx matitaMisc.cmi
37 matitaScript.cmo: matitaTypes.cmo matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
38 matitaEngine.cmi matitaDisambiguator.cmi matitaDb.cmi matitaScript.cmi
39 matitaScript.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx matitaLog.cmx \
40 matitaEngine.cmx matitaDisambiguator.cmx matitaDb.cmx matitaScript.cmi
41 matitaSync.cmo: matitaTypes.cmo matitaMisc.cmi matitaLog.cmi matitaDb.cmi \
43 matitaSync.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \
45 matitaTypes.cmo: matitaLog.cmi
46 matitaTypes.cmx: matitaLog.cmx
47 matitac.cmo: matitacLib.cmi
48 matitac.cmx: matitacLib.cmx
49 matitacLib.cmo: matitaTypes.cmo matitaMisc.cmi matitaLog.cmi matitaExcPp.cmi \
50 matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi
51 matitacLib.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaExcPp.cmx \
52 matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi
53 matitaclean.cmo: matitaSync.cmi matitaMisc.cmi matitaDb.cmi
54 matitaclean.cmx: matitaSync.cmx matitaMisc.cmx matitaDb.cmx
55 matitadep.cmo: matitaMisc.cmi
56 matitadep.cmx: matitaMisc.cmx
57 matitaDisambiguator.cmi: matitaTypes.cmo
58 matitaEngine.cmi: matitaTypes.cmo
59 matitaGtkMisc.cmi: matitaGeneratedGui.cmi
60 matitaGui.cmi: matitaLog.cmi matitaGeneratedGui.cmi matitaDisambiguator.cmi
61 matitaMathView.cmi: matitaTypes.cmo
62 matitaMisc.cmi: matitaTypes.cmo
63 matitaScript.cmi: matitaTypes.cmo
64 matitaSync.cmi: matitaTypes.cmo