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     matitaGtkMisc.cmx \
  25     buildTimeConf.cmx \
  26     applyTransformation.cmx
  27 matitaEngine.cmx : \
  28     applyTransformation.cmx \
  29     matitaEngine.cmi
  30 matitaEngine.cmi : \
  31     applyTransformation.cmi
  32 matitaExcPp.cmx : \
  33     matitaEngine.cmx \
  34     matitaExcPp.cmi
  35 matitaExcPp.cmi :
  36 matitaGeneratedGui.cmx :
  37 matitaGtkMisc.cmx : \
  38     matitaTypes.cmx \
  39     matitaGeneratedGui.cmx \
  40     buildTimeConf.cmx \
  41     matitaGtkMisc.cmi
  42 matitaGtkMisc.cmi : \
  43     matitaGeneratedGui.cmx
  44 matitaGui.cmx : \
  45     matitaTypes.cmx \
  46     matitaScript.cmx \
  47     matitaMisc.cmx \
  48     matitaMathView.cmx \
  49     matitaGuiTypes.cmi \
  50     matitaGtkMisc.cmx \
  51     matitaGeneratedGui.cmx \
  52     matitaExcPp.cmx \
  53     buildTimeConf.cmx \
  54     matitaGui.cmi
  55 matitaGui.cmi : \
  56     matitaGuiTypes.cmi
  57 matitaGuiTypes.cmi : \
  58     matitaGeneratedGui.cmx \
  59     applyTransformation.cmi
  60 matitaInit.cmx : \
  61     matitaExcPp.cmx \
  62     buildTimeConf.cmx \
  63     matitaInit.cmi
  64 matitaInit.cmi :
  65 matitaMathView.cmx : \
  66     virtuals.cmx \
  67     matitaTypes.cmx \
  68     matitaMisc.cmx \
  69     matitaGuiTypes.cmi \
  70     matitaGtkMisc.cmx \
  71     matitaGeneratedGui.cmx \
  72     matitaExcPp.cmx \
  73     lablGraphviz.cmx \
  74     cicMathView.cmx \
  75     buildTimeConf.cmx \
  76     applyTransformation.cmx \
  77     matitaMathView.cmi
  78 matitaMathView.cmi : \
  79     matitaTypes.cmi \
  80     matitaGuiTypes.cmi
  81 matitaMisc.cmx : \
  82     matitaGuiTypes.cmi \
  83     buildTimeConf.cmx \
  84     matitaMisc.cmi
  85 matitaMisc.cmi : \
  86     matitaGuiTypes.cmi
  87 matitaScript.cmx : \
  88     virtuals.cmx \
  89     matitaTypes.cmx \
  90     matitaMisc.cmx \
  91     matitaMathView.cmx \
  92     matitaGtkMisc.cmx \
  93     matitaEngine.cmx \
  94     cicMathView.cmx \
  95     buildTimeConf.cmx \
  96     matitaScript.cmi
  97 matitaScript.cmi :
  98 matitaTypes.cmx : \
  99     matitaTypes.cmi
 100 matitaTypes.cmi :
 101 matitac.cmx : \
 102     matitaclean.cmx \
 103     matitaMisc.cmx \
 104     matitaInit.cmx \
 105     matitaExcPp.cmx \
 106     matitaEngine.cmx
 107 matitaclean.cmx : \
 108     matitaMisc.cmx \
 109     matitaInit.cmx \
 110     matitaclean.cmi
 111 matitaclean.cmi :
 112 predefined_virtuals.cmx : \
 113     virtuals.cmx \
 114     predefined_virtuals.cmi
 115 predefined_virtuals.cmi :
 116 virtuals.cmx : \
 117     virtuals.cmi
 118 virtuals.cmi :