- cic_cache cic_proof_checking cic_textual_parser cic_unification \
- mathql mathql_interpreter mquery_generator tactics
+ cic_cache cic_proof_checking cic_textual_parser \
+ tex_cic_textual_parser cic_unification mathql mathql_interpreter \
+ mquery_generator tactics