-INTERFACE_FILES = \
- renderingAttrs.mli \
- cicNotationLexer.mli \
- cicNotationParser.mli \
- mpresentation.mli \
- box.mli \
- content2presMatcher.mli \
- termContentPres.mli \
- cicNotationPres.mli \
- boxPp.mli \
- content2pres.mli \
- content2Procedural.mli \
- objPp.mli \
- sequent2pres.mli \