- helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
- ulex pxp camlp4.gramlib
-# NOTATIONS = logic arit tex
-NOTATIONS = logic arit
+ helm-tactics helm-logger helm-cic_unification helm-cic_transformations helm-pxp \
+ ulex camlp4.gramlib
+NOTATIONS = logic arit tex
+# NOTATIONS = logic arit