]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/configure.ac
helm-grafite_engine \
helm-tptp_grafite \
helm-ng_disambiguation \
+helm-ng_cic_content \
helm-grafite_parser \
helm-acic_procedural \
helm-content_pres \
helm-hgdome \
helm-tactics \
+helm-ng_tactics \
helm-cic_exportation \
"
FINDLIB_CREQUIRES=" \