X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fc_mathml_editor.h;fp=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fc_mathml_editor.h;h=7e7c0e38e701a7c68468b1fb421e0b6396f88aa9;hb=387aeebf96181c051b7f527a0901b173cfcdf194;hp=0000000000000000000000000000000000000000;hpb=2f94240bc382ca43017f31b0852f1717fe18090b;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
new file mode 100644
index 000000000..7e7c0e38e
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
@@ -0,0 +1,20 @@
+
+#ifndef __c_mathml_editor_h__
+#define __c_mathml_editor_h__
+
+#include <gdome.h>
+
+typedef struct Editor Editor;
+
+Editor*        c_mathml_editor_new(GdomeDocument*, GdomeDocument*, GdomeDocument*, void (*)(int, const char*, void*), void*);
+void           c_mathml_editor_destroy(Editor*);
+int            c_mathml_editor_freeze(Editor*);
+int            c_mathml_editor_thaw(Editor*);
+void           c_mathml_editor_reset(Editor*);
+void           c_mathml_editor_push(Editor*, char);
+void           c_mathml_editor_drop(Editor*, int);
+char*          c_mathml_editor_get_tex(const Editor*);
+GdomeDocument* c_mathml_editor_get_tml(const Editor*);
+GdomeDocument* c_mathml_editor_get_mml(const Editor*);
+
+#endif /* __c_mathml_editor_h__ */