]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/configure.ac
New tactic intro. Syntax: "# n".
[helm.git] / helm / software / configure.ac
index 06ebc0f3e7aa6654715e64ced4063351f8bd07be..8e0335d9eb4a993989f01f6ba33e4ce89cfc4416 100644 (file)
@@ -84,6 +84,7 @@ helm-acic_procedural \
 helm-content_pres \
 helm-hgdome \
 helm-tactics \
+helm-ng_tactics \
 helm-cic_exportation \
 "
 FINDLIB_CREQUIRES=" \