matita/components/content_pres/.depend.opt

   1 box.cmx : \
   2     renderingAttrs.cmx \
   3     box.cmi
   4 box.cmi :
   5 boxPp.cmx : \
   6     renderingAttrs.cmx \
   7     mpresentation.cmx \
   8     cicNotationPres.cmx \
   9     box.cmx \
  10     boxPp.cmi
  11 boxPp.cmi : \
  12     mpresentation.cmi \
  13     cicNotationPres.cmi \
  14     box.cmi
  15 cicNotationLexer.cmx : \
  16     cicNotationLexer.cmi
  17 cicNotationLexer.cmi :
  18 cicNotationParser.cmx : \
  19     cicNotationLexer.cmx \
  20     cicNotationParser.cmi
  21 cicNotationParser.cmi :
  22 cicNotationPres.cmx : \
  23     renderingAttrs.cmx \
  24     mpresentation.cmx \
  25     box.cmx \
  26     cicNotationPres.cmi
  27 cicNotationPres.cmi : \
  28     mpresentation.cmi \
  29     box.cmi
  30 content2pres.cmx : \
  31     termContentPres.cmx \
  32     renderingAttrs.cmx \
  33     mpresentation.cmx \
  34     cicNotationPres.cmx \
  35     box.cmx \
  36     content2pres.cmi
  37 content2pres.cmi : \
  38     termContentPres.cmi \
  39     cicNotationPres.cmi
  40 content2presMatcher.cmx : \
  41     content2presMatcher.cmi
  42 content2presMatcher.cmi :
  43 mpresentation.cmx : \
  44     mpresentation.cmi
  45 mpresentation.cmi :
  46 renderingAttrs.cmx : \
  47     renderingAttrs.cmi
  48 renderingAttrs.cmi :
  49 termContentPres.cmx : \
  50     renderingAttrs.cmx \
  51     content2presMatcher.cmx \
  52     cicNotationParser.cmx \
  53     termContentPres.cmi
  54 termContentPres.cmi : \
  55     cicNotationParser.cmi