matita/components/content_pres/.depend

   1 box.cmo : \
   2     renderingAttrs.cmi \
   3     box.cmi
   4 box.cmx : \
   5     renderingAttrs.cmx \
   6     box.cmi
   7 box.cmi :
   8 boxPp.cmo : \
   9     renderingAttrs.cmi \
  10     mpresentation.cmi \
  11     cicNotationPres.cmi \
  12     box.cmi \
  13     boxPp.cmi
  14 boxPp.cmx : \
  15     renderingAttrs.cmx \
  16     mpresentation.cmx \
  17     cicNotationPres.cmx \
  18     box.cmx \
  19     boxPp.cmi
  20 boxPp.cmi : \
  21     mpresentation.cmi \
  22     cicNotationPres.cmi \
  23     box.cmi
  24 cicNotationLexer.cmo : \
  25     cicNotationLexer.cmi
  26 cicNotationLexer.cmx : \
  27     cicNotationLexer.cmi
  28 cicNotationLexer.cmi :
  29 cicNotationParser.cmo : \
  30     cicNotationLexer.cmi \
  31     cicNotationParser.cmi
  32 cicNotationParser.cmx : \
  33     cicNotationLexer.cmx \
  34     cicNotationParser.cmi
  35 cicNotationParser.cmi :
  36 cicNotationPres.cmo : \
  37     renderingAttrs.cmi \
  38     mpresentation.cmi \
  39     box.cmi \
  40     cicNotationPres.cmi
  41 cicNotationPres.cmx : \
  42     renderingAttrs.cmx \
  43     mpresentation.cmx \
  44     box.cmx \
  45     cicNotationPres.cmi
  46 cicNotationPres.cmi : \
  47     mpresentation.cmi \
  48     box.cmi
  49 content2pres.cmo : \
  50     termContentPres.cmi \
  51     renderingAttrs.cmi \
  52     mpresentation.cmi \
  53     cicNotationPres.cmi \
  54     box.cmi \
  55     content2pres.cmi
  56 content2pres.cmx : \
  57     termContentPres.cmx \
  58     renderingAttrs.cmx \
  59     mpresentation.cmx \
  60     cicNotationPres.cmx \
  61     box.cmx \
  62     content2pres.cmi
  63 content2pres.cmi : \
  64     termContentPres.cmi \
  65     cicNotationPres.cmi
  66 content2presMatcher.cmo : \
  67     content2presMatcher.cmi
  68 content2presMatcher.cmx : \
  69     content2presMatcher.cmi
  70 content2presMatcher.cmi :
  71 mpresentation.cmo : \
  72     mpresentation.cmi
  73 mpresentation.cmx : \
  74     mpresentation.cmi
  75 mpresentation.cmi :
  76 renderingAttrs.cmo : \
  77     renderingAttrs.cmi
  78 renderingAttrs.cmx : \
  79     renderingAttrs.cmi
  80 renderingAttrs.cmi :
  81 termContentPres.cmo : \
  82     renderingAttrs.cmi \
  83     content2presMatcher.cmi \
  84     cicNotationParser.cmi \
  85     termContentPres.cmi
  86 termContentPres.cmx : \
  87     renderingAttrs.cmx \
  88     content2presMatcher.cmx \
  89     cicNotationParser.cmx \
  90     termContentPres.cmi
  91 termContentPres.cmi : \
  92     cicNotationParser.cmi