2 let create ~dictionary ~mml ~tml ~log =
3 I_mathml_editor.create dictionary#as_Document mml#as_Document tml#as_Document log
6 let freeze = I_mathml_editor.freeze
9 let thaw = I_mathml_editor.thaw
12 let reset = I_mathml_editor.reset
15 let push = I_mathml_editor.push
18 let drop = I_mathml_editor.drop
21 let cursor_hide = I_mathml_editor.cursor_hide
24 let cursor_show = I_mathml_editor.cursor_show
27 let get_tex = I_mathml_editor.get_tex
31 new Gdome.document (I_mathml_editor.get_tml ~editor)
35 new Gdome.document (I_mathml_editor.get_mml ~editor)