matitaB/matita/.depend.opt

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