REQUIRES = \
helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
ulex pxp camlp4.gramlib
-# NOTATIONS = logic arit tex
-NOTATIONS = logic arit
+NOTATIONS = logic arit tex
+# NOTATIONS = logic arit
INTERFACE_FILES = \
disambiguateTypes.mli \
disambiguateChoices.mli \