X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fi_mathml_editor.ml;h=25171b8bb9fa07f23db5a694d43d1c55b49c5414;hb=84877da90dd68c88915b5ee54d31e9849f340eac;hp=229478101f89eaf450ca0487d080c3ad68cbe27e;hpb=66376d9f664b15e722459103d705470d15920a1b;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index 229478101..25171b8bb 100644
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -25,6 +25,15 @@
 
 type t
 
+external get_default_dictionary_path : unit -> string
+  = "ml_mathml_editor_get_default_dictionary_path"
+
+external get_default_mathml_stylesheet_path : unit -> string
+  = "ml_mathml_editor_get_default_mathml_stylesheet_path"
+
+external get_default_tex_stylesheet_path : unit -> string
+  = "ml_mathml_editor_get_default_tex_stylesheet_path"
+
 external create : 
   dictionary:[> `Document] GdomeT.t ->
   mml: [> `Document] GdomeT.t ->