1 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
2 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
3 matitaGtkMisc.cmo: matitaGtkMisc.cmi
4 matitaGtkMisc.cmx: matitaGtkMisc.cmi
5 matitaGui.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi matitaGui.cmi
6 matitaGui.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmx matitaGui.cmi
7 matita.cmo: matitaGeneratedGui.cmi matitaGui.cmi
8 matita.cmx: matitaGeneratedGui.cmx matitaGui.cmx
9 matitaGui.cmi: matitaGeneratedGui.cmi matitaGtkMisc.cmi