X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fc_mathml_editor.h;h=cb01155adf9747b7d988387b3561677eb921c82c;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=63796bcd82071804ebd153546a750ec23c8ded1c;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;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
index 63796bcd8..cb01155ad 100644
--- a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
+++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
@@ -30,7 +30,10 @@
 
 typedef struct Editor Editor;
 
-Editor*        c_mathml_editor_new(GdomeDocument*, GdomeDocument*, GdomeDocument*, void (*)(int, const char*, void*), void*);
+const char*    c_mathml_editor_get_default_dictionary_path(void);
+const char*    c_mathml_editor_get_default_mathml_stylesheet_path(void);
+const char*    c_mathml_editor_get_default_tex_stylesheet_path(void);
+Editor*        c_mathml_editor_new(int, const char*, const char*, const char*, void (*)(int, const char*, void*), void*);
 void           c_mathml_editor_destroy(Editor*);
 int            c_mathml_editor_freeze(Editor*);
 int            c_mathml_editor_thaw(Editor*);