1 mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi
2 mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi
3 mathitaGtkMisc.cmo: mathitaGtkMisc.cmi
4 mathitaGtkMisc.cmx: mathitaGtkMisc.cmi
5 mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi mathitaGui.cmi
6 mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx mathitaGui.cmi
7 mathita.cmo: mathitaGui.cmi
8 mathita.cmx: mathitaGui.cmx
9 mathitaGui.cmi: mathitaGeneratedGui.cmi