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