matitaB/components/content_pres/.depend

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