]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / ocaml / c_mathml_editor.h
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 (file)
index 0000000..7e7c0e3
--- /dev/null
@@ -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__ */