* this is a large commit

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

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
new file mode 100644 (file)
index 0000000..58ca8f7
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.ml
@@ -0,0 +1,31 @@
+
+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)
+;;
+