matita/matita/.depend.opt

   1 applyTransformation.cmx : \
   2     applyTransformation.cmi
   3 applyTransformation.cmi :
   4 buildTimeConf.cmx :
   5 cicMathView.cmx : \
   6     matitaMisc.cmx \
   7     matitaGuiTypes.cmi \
   8     matitaGtkMisc.cmx \
   9     buildTimeConf.cmx \
  10     applyTransformation.cmx \
  11     cicMathView.cmi
  12 cicMathView.cmi : \
  13     matitaGuiTypes.cmi \
  14     applyTransformation.cmi
  15 lablGraphviz.cmx : \
  16     lablGraphviz.cmi
  17 lablGraphviz.cmi :
  18 matita.cmx : \
  19     predefined_virtuals.cmx \
  20     matitaScript.cmx \
  21     matitaMisc.cmx \
  22     matitaInit.cmx \
  23     matitaGui.cmx \
  24     buildTimeConf.cmx \
  25     applyTransformation.cmx
  26 matitaEngine.cmx : \
  27     applyTransformation.cmx \
  28     matitaEngine.cmi
  29 matitaEngine.cmi : \
  30     applyTransformation.cmi
  31 matitaExcPp.cmx : \
  32     matitaEngine.cmx \
  33     matitaExcPp.cmi
  34 matitaExcPp.cmi :
  35 matitaGeneratedGui.cmx :
  36 matitaGtkMisc.cmx : \
  37     matitaGeneratedGui.cmx \
  38     buildTimeConf.cmx \
  39     matitaGtkMisc.cmi
  40 matitaGtkMisc.cmi : \
  41     matitaGeneratedGui.cmx
  42 matitaGui.cmx : \
  43     matitaTypes.cmx \
  44     matitaScript.cmx \
  45     matitaMisc.cmx \
  46     matitaMathView.cmx \
  47     matitaGuiTypes.cmi \
  48     matitaGtkMisc.cmx \
  49     matitaGeneratedGui.cmx \
  50     matitaExcPp.cmx \
  51     buildTimeConf.cmx \
  52     matitaGui.cmi
  53 matitaGui.cmi : \
  54     matitaGuiTypes.cmi
  55 matitaGuiInit.cmx :
  56 matitaGuiTypes.cmi : \
  57     matitaGeneratedGui.cmx \
  58     applyTransformation.cmi
  59 matitaInit.cmx : \
  60     matitaExcPp.cmx \
  61     buildTimeConf.cmx \
  62     matitaInit.cmi
  63 matitaInit.cmi :
  64 matitaMathView.cmx : \
  65     virtuals.cmx \
  66     matitaTypes.cmx \
  67     matitaMisc.cmx \
  68     matitaGuiTypes.cmi \
  69     matitaGtkMisc.cmx \
  70     matitaGeneratedGui.cmx \
  71     matitaExcPp.cmx \
  72     lablGraphviz.cmx \
  73     cicMathView.cmx \
  74     buildTimeConf.cmx \
  75     applyTransformation.cmx \
  76     matitaMathView.cmi
  77 matitaMathView.cmi : \
  78     matitaTypes.cmi \
  79     matitaGuiTypes.cmi
  80 matitaMisc.cmx : \
  81     matitaGuiTypes.cmi \
  82     buildTimeConf.cmx \
  83     matitaMisc.cmi
  84 matitaMisc.cmi : \
  85     matitaGuiTypes.cmi
  86 matitaScript.cmx : \
  87     virtuals.cmx \
  88     matitaTypes.cmx \
  89     matitaMisc.cmx \
  90     matitaMathView.cmx \
  91     matitaGtkMisc.cmx \
  92     matitaEngine.cmx \
  93     cicMathView.cmx \
  94     buildTimeConf.cmx \
  95     matitaScript.cmi
  96 matitaScript.cmi :
  97 matitaTypes.cmx : \
  98     matitaTypes.cmi
  99 matitaTypes.cmi :
 100 matitac.cmx : \
 101     matitaclean.cmx \
 102     matitaMisc.cmx \
 103     matitaInit.cmx \
 104     matitaExcPp.cmx \
 105     matitaEngine.cmx
 106 matitaclean.cmx : \
 107     matitaMisc.cmx \
 108     matitaInit.cmx \
 109     matitaclean.cmi
 110 matitaclean.cmi :
 111 predefined_virtuals.cmx : \
 112     virtuals.cmx \
 113     predefined_virtuals.cmi
 114 predefined_virtuals.cmi :
 115 virtuals.cmx : \
 116     virtuals.cmi
 117 virtuals.cmi :