matitaGeneratedGui.cmo: matitaGeneratedGui.cmi 
matitaGeneratedGui.cmx: matitaGeneratedGui.cmi 
matitaGtkMisc.cmo: matitaGtkMisc.cmi 
matitaGtkMisc.cmx: matitaGtkMisc.cmi 
matitaGui.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi matitaGui.cmi 
matitaGui.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmx matitaGui.cmi 
matita.cmo: matitaGeneratedGui.cmi matitaGui.cmi 
matita.cmx: matitaGeneratedGui.cmx matitaGui.cmx 
matitaGui.cmi: matitaGeneratedGui.cmi matitaGtkMisc.cmi