helm-tactics helm-logger helm-cic_unification helm-cic_notation \
helm-utf8_macros \
ulex
-NOTATIONS = arit
+NOTATIONS = number
INTERFACE_FILES = \
disambiguateTypes.mli \
disambiguatePp.mli \
all:
-clean: extra_clean
-distclean: extra_clean
+clean:
+distclean:
rm -f macro_table.dump
-extra_clean:
- rm -f test_lexer test_parser
include ../Makefile.common
OCAMLARCHIVEOPTIONS += -linkall