matita/components/content_pres/.depend.opt

   1 box.cmx : renderingAttrs.cmx box.cmi
   2 box.cmi :
   3 boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
   4     boxPp.cmi
   5 boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi
   6 cicNotationLexer.cmx : cicNotationLexer.cmi
   7 cicNotationLexer.cmi :
   8 cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi
   9 cicNotationParser.cmi :
  10 cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \
  11     cicNotationPres.cmi
  12 cicNotationPres.cmi : mpresentation.cmi box.cmi
  13 content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
  14     cicNotationPres.cmx box.cmx content2pres.cmi
  15 content2pres.cmi : termContentPres.cmi cicNotationPres.cmi
  16 content2presMatcher.cmx : content2presMatcher.cmi
  17 content2presMatcher.cmi :
  18 mpresentation.cmx : mpresentation.cmi
  19 mpresentation.cmi :
  20 renderingAttrs.cmx : renderingAttrs.cmi
  21 renderingAttrs.cmi :
  22 termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \
  23     cicNotationParser.cmx termContentPres.cmi
  24 termContentPres.cmi : cicNotationParser.cmi