+++ /dev/null
-PACKAGE = ng_tactics
-
-INTERFACE_FILES = \
- continuationals.mli \
- nCicTacReduction.mli \
- nTacStatus.mli \
- nCicElim.mli \
- nTactics.mli \
- nnAuto.mli \
- declarative.mli \
- nDestructTac.mli \
- nInversion.mli
-
-IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
-
-
-all:
-
-
-include ../../Makefile.defs
-include ../Makefile.common