helm-cic_proof_checking helm-xml gdome2-xslt helm-cic_unification \
helm-mathql helm-mathql_interpreter helm-mathql_generator \
helm-tactics threads hbugs-client mathml-editor \
helm-cic_proof_checking helm-xml gdome2-xslt helm-cic_unification \
helm-mathql helm-mathql_interpreter helm-mathql_generator \
helm-tactics threads hbugs-client mathml-editor \