matita/components/content_pres/.depend

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