15 cicNotationLexer.cmx : \
17 cicNotationLexer.cmi :
18 cicNotationParser.cmx : \
19 cicNotationLexer.cmx \
21 cicNotationParser.cmi :
22 cicNotationPres.cmx : \
27 cicNotationPres.cmi : \
40 content2presMatcher.cmx : \
41 content2presMatcher.cmi
42 content2presMatcher.cmi :
46 renderingAttrs.cmx : \
49 termContentPres.cmx : \
51 content2presMatcher.cmx \
52 cicNotationParser.cmx \
54 termContentPres.cmi : \