mathml_editor.cmo: i_mathml_editor.cmo mathml_editor.cmi 
mathml_editor.cmx: i_mathml_editor.cmx mathml_editor.cmi 
mathml_editor.cmi: i_mathml_editor.cmo 
