fun l s -> prerr_endline ("TERM_EDITOR (" ^ string_of_int l ^ "): " ^ s) in
let tex_editor =
Mathml_editor.create
- Mathml_editor.default_dictionary_path
+ "dictionary-cic.xml"
Mathml_editor.default_mathml_stylesheet_path
Mathml_editor.default_tex_stylesheet_path
logger