-PACKAGE = cic_textual_parser2
-REQUIRES = \
- helm-tactics helm-logger helm-cic_unification helm-cic_notation \
- helm-utf8_macros \
- ulex
+PACKAGE = cic_disambiguation
NOTATIONS = number
INTERFACE_FILES = \
disambiguateTypes.mli \
disambiguateChoices.mli \
- disambiguatePp.mli \
disambiguate.mli
IMPLEMENTATION_FILES = \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \