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 matitaExcPp.cmi \
  32     matitaEngine.cmi matitaAuthentication.cmi applyTransformation.cmi
  33 matitadaemon.cmx: matitaInit.cmx matitaFilesystem.cmx matitaExcPp.cmx \
  34     matitaEngine.cmx 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 virtuals.cmo: virtuals.cmi
  40 virtuals.cmx: virtuals.cmi
  41 lablGraphviz.cmo: lablGraphviz.cmi
  42 lablGraphviz.cmx: lablGraphviz.cmi
  43 matitaEngine.cmo: applyTransformation.cmi matitaEngine.cmi
  44 matitaEngine.cmx: applyTransformation.cmx matitaEngine.cmi
  45 matitaGui.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
  46     matitaMathView.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi \
  47     matitaGeneratedGui.cmx matitaExcPp.cmi buildTimeConf.cmx matitaGui.cmi
  48 matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
  49     matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
  50     matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
  51 matitaAuthentication.cmo: matitaFilesystem.cmi matitaEngine.cmi \
  52     matitaAuthentication.cmi
  53 matitaAuthentication.cmx: matitaFilesystem.cmx matitaEngine.cmx \
  54     matitaAuthentication.cmi
  55 matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
  56 matitaExcPp.cmx: matitaEngine.cmx matitaExcPp.cmi
  57 matitaInit.cmo: matitaExcPp.cmi buildTimeConf.cmx matitaInit.cmi
  58 matitaInit.cmx: matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi
  59 matitaScript.cmo: virtuals.cmi matitaTypes.cmi matitaScriptLexer.cmi \
  60     matitaMisc.cmi matitaMathView.cmi matitaGtkMisc.cmi matitaEngine.cmi \
  61     cicMathView.cmi buildTimeConf.cmx matitaScript.cmi
  62 matitaScript.cmx: virtuals.cmx matitaTypes.cmx matitaScriptLexer.cmx \
  63     matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx matitaEngine.cmx \
  64     cicMathView.cmx buildTimeConf.cmx matitaScript.cmi
  65 applyTransformation.cmi:
  66 matitaclean.cmi:
  67 matitaFilesystem.cmi:
  68 matitaMathView.cmi: matitaTypes.cmi matitaGuiTypes.cmi
  69 matitaTypes.cmi:
  70 matitaMisc.cmi: matitaGuiTypes.cmi
  71 predefined_virtuals.cmi:
  72 cicMathView.cmi: matitaGuiTypes.cmi applyTransformation.cmi
  73 matitaGtkMisc.cmi: matitaGeneratedGui.cmx
  74 virtuals.cmi:
  75 lablGraphviz.cmi:
  76 matitaEngine.cmi: applyTransformation.cmi
  77 matitaGui.cmi: matitaGuiTypes.cmi
  78 matitaGuiTypes.cmi: matitaGeneratedGui.cmx applyTransformation.cmi
  79 matitaScriptLexer.cmi:
  80 matitaAuthentication.cmi: matitaFilesystem.cmi matitaEngine.cmi
  81 matitaExcPp.cmi:
  82 matitaInit.cmi:
  83 matitaScript.cmi:
  84 matitaScriptLexer.cmo: matitaScriptLexer.cmi
  85 matitaScriptLexer.cmx: matitaScriptLexer.cmi
  86 matitaScriptLexer.cmi: