* this is a large commit

[helm.git] / helm / DEVEL / mathml_editor / ocaml / mathml_editor.ml

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 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)
;;