matita/matita/.depend.opt

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