helm/matita/.depend

   1 applyTransformation.cmo: applyTransformation.cmi
   2 applyTransformation.cmx: applyTransformation.cmi
   3 disambiguatePp.cmo: disambiguatePp.cmi
   4 disambiguatePp.cmx: disambiguatePp.cmi
   5 dump_moo.cmo: buildTimeConf.cmo
   6 dump_moo.cmx: buildTimeConf.cmx
   7 matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
   8 matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
   9 matitacLib.cmo: matitaTypes.cmi matitaMisc.cmi matitaInit.cmi matitaExcPp.cmi \
  10     matitaEngine.cmi buildTimeConf.cmo matitacLib.cmi
  11 matitacLib.cmx: matitaTypes.cmx matitaMisc.cmx matitaInit.cmx matitaExcPp.cmx \
  12     matitaEngine.cmx buildTimeConf.cmx matitacLib.cmi
  13 matitac.cmo: matitamake.cmo matitadep.cmi matitaclean.cmi matitacLib.cmi
  14 matitac.cmx: matitamake.cmx matitadep.cmx matitaclean.cmx matitacLib.cmx
  15 matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi
  16 matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi
  17 matitaDisambiguator.cmo: matitaTypes.cmi matitaDisambiguator.cmi
  18 matitaDisambiguator.cmx: matitaTypes.cmx matitaDisambiguator.cmi
  19 matitaEngine.cmo: matitaTypes.cmi matitaSync.cmi matitaMisc.cmi \
  20     matitaDisambiguator.cmi matitaEngine.cmi
  21 matitaEngine.cmx: matitaTypes.cmx matitaSync.cmx matitaMisc.cmx \
  22     matitaDisambiguator.cmx matitaEngine.cmi
  23 matitaExcPp.cmo: matitaTypes.cmi matitaDisambiguator.cmi matitaExcPp.cmi
  24 matitaExcPp.cmx: matitaTypes.cmx matitaDisambiguator.cmx matitaExcPp.cmi
  25 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
  26 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
  27 matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmi matitaGtkMisc.cmi
  28 matitaGtkMisc.cmx: matitaTypes.cmx matitaGeneratedGui.cmx matitaGtkMisc.cmi
  29 matitaGui.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \
  30     matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi \
  31     matitaGeneratedGui.cmi matitaExcPp.cmi matitaDisambiguator.cmi \
  32     buildTimeConf.cmo matitaGui.cmi
  33 matitaGui.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \
  34     matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
  35     matitaGeneratedGui.cmx matitaExcPp.cmx matitaDisambiguator.cmx \
  36     buildTimeConf.cmx matitaGui.cmi
  37 matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmo matitaInit.cmi
  38 matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi
  39 matitamakeLib.cmo: buildTimeConf.cmo matitamakeLib.cmi
  40 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi
  41 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi
  42 matitamake.cmx: matitamakeLib.cmx matitaInit.cmx
  43 matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
  44     matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi buildTimeConf.cmo \
  45     applyTransformation.cmi matitaMathView.cmi
  46 matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
  47     matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx buildTimeConf.cmx \
  48     applyTransformation.cmx matitaMathView.cmi
  49 matitaMisc.cmo: matitaTypes.cmi buildTimeConf.cmo matitaMisc.cmi
  50 matitaMisc.cmx: matitaTypes.cmx buildTimeConf.cmx matitaMisc.cmi
  51 matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \
  52     matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaEngine.cmi \
  53     buildTimeConf.cmo
  54 matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \
  55     matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaEngine.cmx \
  56     buildTimeConf.cmx
  57 matitaScript.cmo: matitamakeLib.cmi matitaTypes.cmi matitaSync.cmi \
  58     matitaMisc.cmi matitaEngine.cmi matitaDisambiguator.cmi \
  59     disambiguatePp.cmi buildTimeConf.cmo matitaScript.cmi
  60 matitaScript.cmx: matitamakeLib.cmx matitaTypes.cmx matitaSync.cmx \
  61     matitaMisc.cmx matitaEngine.cmx matitaDisambiguator.cmx \
  62     disambiguatePp.cmx buildTimeConf.cmx matitaScript.cmi
  63 matitaSync.cmo: matitaTypes.cmi disambiguatePp.cmi matitaSync.cmi
  64 matitaSync.cmx: matitaTypes.cmx disambiguatePp.cmx matitaSync.cmi
  65 matitaTypes.cmo: matitaTypes.cmi
  66 matitaTypes.cmx: matitaTypes.cmi
  67 matitaDisambiguator.cmi: matitaTypes.cmi
  68 matitaEngine.cmi: matitaTypes.cmi
  69 matitaGtkMisc.cmi: matitaGeneratedGui.cmi
  70 matitaGui.cmi: matitaGuiTypes.cmi matitaDisambiguator.cmi
  71 matitaGuiTypes.cmi: matitaTypes.cmi matitaGeneratedGui.cmi
  72 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
  73 matitaScript.cmi: matitaTypes.cmi
  74 matitaSync.cmi: matitaTypes.cmi