let create ~dictionary ~mml ~tml ~log = I_mathml_editor.create dictionary#as_Document mml#as_Document tml#as_Document log ;; let freeze = I_mathml_editor.freeze ;; let thaw = I_mathml_editor.thaw ;; let reset = I_mathml_editor.reset ;; let push = I_mathml_editor.push ;; let drop = I_mathml_editor.drop ;; let cursor_hide = I_mathml_editor.cursor_hide ;; let cursor_show = I_mathml_editor.cursor_show ;; let get_tex = I_mathml_editor.get_tex ;; let get_tml ~editor = new Gdome.document (I_mathml_editor.get_tml ~editor) ;; let get_mml ~editor = new Gdome.document (I_mathml_editor.get_mml ~editor) ;;