+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