X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fc_mathml_editor.h;h=6c8a5f5cb126703df0ebef1234be00a015edc317;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;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..6c8a5f5cb 100644
--- a/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
+++ b/helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.h
@@ -30,6 +30,9 @@
 
 typedef struct Editor Editor;
 
+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(GdomeDocument*, GdomeDocument*, GdomeDocument*, void (*)(int, const char*, void*), void*);
 void           c_mathml_editor_destroy(Editor*);
 int            c_mathml_editor_freeze(Editor*);