PACKAGE = content_pres
PREDICATES =
-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 \
+INTERFACE_FILES = \
+ renderingAttrs.mli \
+ cicNotationLexer.mli \
+ cicNotationParser.mli \
+ mpresentation.mli \
+ box.mli \
+ content2presMatcher.mli \
+ termContentPres.mli \
+ cicNotationPres.mli \
+ boxPp.mli \
+ content2pres.mli \
+ cicClassify.mli \
+ proceduralConversion.mli \
+ proceduralTypes.mli \
+ acic2Procedural.mli \
+ objPp.mli \
+ sequent2pres.mli \
$(NULL)
-IMPLEMENTATION_FILES = \
+IMPLEMENTATION_FILES = \
$(INTERFACE_FILES:%.mli=%.ml)
cicNotationPres.cmi: OCAMLOPTIONS += -rectypes