helm/matita/.depend

   1 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
   2 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
   3 matitaGtkMisc.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi
   4 matitaGtkMisc.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmi
   5 matitaGui.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi matitaGui.cmi
   6 matitaGui.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmx matitaGui.cmi
   7 matita.cmo: matitaGtkMisc.cmi matitaGui.cmi
   8 matita.cmx: matitaGtkMisc.cmx matitaGui.cmx
   9 matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
  10 matitaProof.cmx: matitaTypes.cmx matitaProof.cmi
  11 matitaGtkMisc.cmi: matitaGeneratedGui.cmi
  12 matitaGui.cmi: matitaGeneratedGui.cmi
  13 matitaProof.cmi: matitaTypes.cmo