]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/configure.ac
helm-tptp_grafite \
helm-grafite_parser \
helm-acic_procedural \
helm-tptp_grafite \
helm-grafite_parser \
helm-acic_procedural \
helm-hgdome \
helm-tactics \
"
helm-hgdome \
helm-tactics \
"