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=6c8a5f5cb126703df0ebef1234be00a015edc317;hb=84877da90dd68c88915b5ee54d31e9849f340eac;hp=63796bcd82071804ebd153546a750ec23c8ded1c;hpb=66376d9f664b15e722459103d705470d15920a1b;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*);