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: matitaDb.cmi
8 matitaDb.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 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
16 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
17 matitaGtkMisc.cmo: matitaTypes.cmo matitaGeneratedGui.cmi matitaGtkMisc.cmi
18 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
19 matitaGui.cmo: matitaTypes.cmo matitaScript.cmi matitaMisc.cmi matitaLog.cmi \
20 matitaGtkMisc.cmi matitaGeneratedGui.cmi buildTimeConf.cmo matitaGui.cmi
21 matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx matitaLog.cmx \
22 matitaGtkMisc.cmx matitaGeneratedGui.cmx buildTimeConf.cmx matitaGui.cmi
23 matitaLog.cmo: matitaLog.cmi
24 matitaLog.cmx: matitaLog.cmi
25 matitaMathView.cmo: matitaTypes.cmo matitaScript.cmi matitaMisc.cmi \
26 matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmo matitaMathView.cmi
27 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
28 matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx matitaMathView.cmi
29 matitaMisc.cmo: matitaTypes.cmo buildTimeConf.cmo matitaMisc.cmi
30 matitaMisc.cmx: matitaTypes.cmx buildTimeConf.cmx matitaMisc.cmi
31 matitaScript.cmo: matitaTypes.cmo matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
32 matitaEngine.cmi matitaDisambiguator.cmi matitaDb.cmi matitaScript.cmi
33 matitaScript.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx matitaLog.cmx \
34 matitaEngine.cmx matitaDisambiguator.cmx matitaDb.cmx matitaScript.cmi
35 matitaSync.cmo: matitaTypes.cmo matitaMisc.cmi matitaLog.cmi matitaDb.cmi \
37 matitaSync.cmx: matitaTypes.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \
39 matitaTypes.cmo: matitaLog.cmi
40 matitaTypes.cmx: matitaLog.cmx
41 matitac.cmo: matitacLib.cmi
42 matitac.cmx: matitacLib.cmx
43 matitacLib.cmo: matitaTypes.cmo matitaLog.cmi matitaEngine.cmi matitaDb.cmi \
44 buildTimeConf.cmo matitacLib.cmi
45 matitacLib.cmx: matitaTypes.cmx matitaLog.cmx matitaEngine.cmx matitaDb.cmx \
46 buildTimeConf.cmx matitacLib.cmi
47 matitaDisambiguator.cmi: matitaTypes.cmo
48 matitaEngine.cmi: matitaTypes.cmo
49 matitaGtkMisc.cmi: matitaGeneratedGui.cmi
50 matitaGui.cmi: matitaLog.cmi matitaGeneratedGui.cmi matitaDisambiguator.cmi
51 matitaMathView.cmi: matitaTypes.cmo
52 matitaMisc.cmi: matitaTypes.cmo
53 matitaScript.cmi: matitaTypes.cmo
54 matitaSync.cmi: matitaTypes.cmo