PACKAGE = tactics
REQUIRES = \
- pcre helm-cic_proof_checking \
- helm-cic_unification helm-mathql_interpreter helm-mathql_generator \
- mysql helm-metadata
+ pcre \
+ helm-cic_proof_checking \
+ helm-cic_unification \
+ mysql \
+ helm-metadata
INTERFACE_FILES = \
proofEngineTypes.mli \