mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi 
mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi 
mathitaGtkMisc.cmo: mathitaGtkMisc.cmi 
mathitaGtkMisc.cmx: mathitaGtkMisc.cmi 
mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi mathitaGui.cmi 
mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx mathitaGui.cmi 
mathita.cmo: mathitaGui.cmi 
mathita.cmx: mathitaGui.cmx 
mathitaGui.cmi: mathitaGeneratedGui.cmi