- 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_transformations
+ gdome2-xslt helm-mathql_interpreter helm-mathql_generator \
+ helm-tactics hbugs-client mathml-editor helm-cic_transformations \
+ helm-cic_textual_parser2