helm/matita/.depend

   1 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
   2 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
   3 matitaGtkMisc.cmo: matitaGtkMisc.cmi
   4 matitaGtkMisc.cmx: matitaGtkMisc.cmi
   5 matitaGui.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi matitaGui.cmi
   6 matitaGui.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmx matitaGui.cmi
   7 matita.cmo: matitaGeneratedGui.cmi matitaGui.cmi
   8 matita.cmx: matitaGeneratedGui.cmx matitaGui.cmx
   9 matitaGui.cmi: matitaGeneratedGui.cmi matitaGtkMisc.cmi