matita/matita/.depend

   1 applyTransformation.cmo : \
   2     applyTransformation.cmi
   3 applyTransformation.cmx : \
   4     applyTransformation.cmi
   5 applyTransformation.cmi :
   6 buildTimeConf.cmo :
   7 buildTimeConf.cmx :
   8 cicMathView.cmo : \
   9     matitaMisc.cmi \
  10     matitaGuiTypes.cmi \
  11     matitaGtkMisc.cmi \
  12     buildTimeConf.cmo \
  13     applyTransformation.cmi \
  14     cicMathView.cmi
  15 cicMathView.cmx : \
  16     matitaMisc.cmx \
  17     matitaGuiTypes.cmi \
  18     matitaGtkMisc.cmx \
  19     buildTimeConf.cmx \
  20     applyTransformation.cmx \
  21     cicMathView.cmi
  22 cicMathView.cmi : \
  23     matitaGuiTypes.cmi \
  24     applyTransformation.cmi
  25 lablGraphviz.cmo : \
  26     lablGraphviz.cmi
  27 lablGraphviz.cmx : \
  28     lablGraphviz.cmi
  29 lablGraphviz.cmi :
  30 matita.cmo : \
  31     predefined_virtuals.cmi \
  32     matitaScript.cmi \
  33     matitaMisc.cmi \
  34     matitaInit.cmi \
  35     matitaGui.cmi \
  36     buildTimeConf.cmo \
  37     applyTransformation.cmi
  38 matita.cmx : \
  39     predefined_virtuals.cmx \
  40     matitaScript.cmx \
  41     matitaMisc.cmx \
  42     matitaInit.cmx \
  43     matitaGui.cmx \
  44     buildTimeConf.cmx \
  45     applyTransformation.cmx
  46 matitaEngine.cmo : \
  47     applyTransformation.cmi \
  48     matitaEngine.cmi
  49 matitaEngine.cmx : \
  50     applyTransformation.cmx \
  51     matitaEngine.cmi
  52 matitaEngine.cmi : \
  53     applyTransformation.cmi
  54 matitaExcPp.cmo : \
  55     matitaEngine.cmi \
  56     matitaExcPp.cmi
  57 matitaExcPp.cmx : \
  58     matitaEngine.cmx \
  59     matitaExcPp.cmi
  60 matitaExcPp.cmi :
  61 matitaGeneratedGui.cmo :
  62 matitaGeneratedGui.cmx :
  63 matitaGtkMisc.cmo : \
  64     matitaGeneratedGui.cmo \
  65     buildTimeConf.cmo \
  66     matitaGtkMisc.cmi
  67 matitaGtkMisc.cmx : \
  68     matitaGeneratedGui.cmx \
  69     buildTimeConf.cmx \
  70     matitaGtkMisc.cmi
  71 matitaGtkMisc.cmi : \
  72     matitaGeneratedGui.cmo
  73 matitaGui.cmo : \
  74     matitaTypes.cmi \
  75     matitaScript.cmi \
  76     matitaMisc.cmi \
  77     matitaMathView.cmi \
  78     matitaGuiTypes.cmi \
  79     matitaGtkMisc.cmi \
  80     matitaGeneratedGui.cmo \
  81     matitaExcPp.cmi \
  82     buildTimeConf.cmo \
  83     matitaGui.cmi
  84 matitaGui.cmx : \
  85     matitaTypes.cmx \
  86     matitaScript.cmx \
  87     matitaMisc.cmx \
  88     matitaMathView.cmx \
  89     matitaGuiTypes.cmi \
  90     matitaGtkMisc.cmx \
  91     matitaGeneratedGui.cmx \
  92     matitaExcPp.cmx \
  93     buildTimeConf.cmx \
  94     matitaGui.cmi
  95 matitaGui.cmi : \
  96     matitaGuiTypes.cmi
  97 matitaGuiInit.cmo :
  98 matitaGuiInit.cmx :
  99 matitaGuiTypes.cmi : \
 100     matitaGeneratedGui.cmo \
 101     applyTransformation.cmi
 102 matitaInit.cmo : \
 103     matitaExcPp.cmi \
 104     buildTimeConf.cmo \
 105     matitaInit.cmi
 106 matitaInit.cmx : \
 107     matitaExcPp.cmx \
 108     buildTimeConf.cmx \
 109     matitaInit.cmi
 110 matitaInit.cmi :
 111 matitaMathView.cmo : \
 112     virtuals.cmi \
 113     matitaTypes.cmi \
 114     matitaMisc.cmi \
 115     matitaGuiTypes.cmi \
 116     matitaGtkMisc.cmi \
 117     matitaGeneratedGui.cmo \
 118     matitaExcPp.cmi \
 119     lablGraphviz.cmi \
 120     cicMathView.cmi \
 121     buildTimeConf.cmo \
 122     applyTransformation.cmi \
 123     matitaMathView.cmi
 124 matitaMathView.cmx : \
 125     virtuals.cmx \
 126     matitaTypes.cmx \
 127     matitaMisc.cmx \
 128     matitaGuiTypes.cmi \
 129     matitaGtkMisc.cmx \
 130     matitaGeneratedGui.cmx \
 131     matitaExcPp.cmx \
 132     lablGraphviz.cmx \
 133     cicMathView.cmx \
 134     buildTimeConf.cmx \
 135     applyTransformation.cmx \
 136     matitaMathView.cmi
 137 matitaMathView.cmi : \
 138     matitaTypes.cmi \
 139     matitaGuiTypes.cmi
 140 matitaMisc.cmo : \
 141     matitaGuiTypes.cmi \
 142     buildTimeConf.cmo \
 143     matitaMisc.cmi
 144 matitaMisc.cmx : \
 145     matitaGuiTypes.cmi \
 146     buildTimeConf.cmx \
 147     matitaMisc.cmi
 148 matitaMisc.cmi : \
 149     matitaGuiTypes.cmi
 150 matitaMiscCli.cmo : \
 151     matitaMiscCli.cmi
 152 matitaMiscCli.cmx : \
 153     matitaMiscCli.cmi
 154 matitaMiscCli.cmi :
 155 matitaScript.cmo : \
 156     virtuals.cmi \
 157     matitaTypes.cmi \
 158     matitaMisc.cmi \
 159     matitaMathView.cmi \
 160     matitaGtkMisc.cmi \
 161     matitaEngine.cmi \
 162     cicMathView.cmi \
 163     buildTimeConf.cmo \
 164     matitaScript.cmi
 165 matitaScript.cmx : \
 166     virtuals.cmx \
 167     matitaTypes.cmx \
 168     matitaMisc.cmx \
 169     matitaMathView.cmx \
 170     matitaGtkMisc.cmx \
 171     matitaEngine.cmx \
 172     cicMathView.cmx \
 173     buildTimeConf.cmx \
 174     matitaScript.cmi
 175 matitaScript.cmi :
 176 matitaTypes.cmo : \
 177     matitaTypes.cmi
 178 matitaTypes.cmx : \
 179     matitaTypes.cmi
 180 matitaTypes.cmi :
 181 matitac.cmo : \
 182     matitaclean.cmi \
 183     matitaMiscCli.cmi \
 184     matitaInit.cmi \
 185     matitaExcPp.cmi \
 186     matitaEngine.cmi
 187 matitac.cmx : \
 188     matitaclean.cmx \
 189     matitaMiscCli.cmx \
 190     matitaInit.cmx \
 191     matitaExcPp.cmx \
 192     matitaEngine.cmx
 193 matitaclean.cmo : \
 194     matitaMiscCli.cmi \
 195     matitaInit.cmi \
 196     matitaclean.cmi
 197 matitaclean.cmx : \
 198     matitaMiscCli.cmx \
 199     matitaInit.cmx \
 200     matitaclean.cmi
 201 matitaclean.cmi :
 202 predefined_virtuals.cmo : \
 203     virtuals.cmi \
 204     predefined_virtuals.cmi
 205 predefined_virtuals.cmx : \
 206     virtuals.cmx \
 207     predefined_virtuals.cmi
 208 predefined_virtuals.cmi :
 209 virtuals.cmo : \
 210     virtuals.cmi
 211 virtuals.cmx : \
 212     virtuals.cmi
 213 virtuals.cmi :