This commit was manufactured by cvs2svn to create tag

[helm.git] / helm / DEVEL / mathml_editor / ocaml / i_mathml_editor.ml

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index 229478101f89eaf450ca0487d080c3ad68cbe27e..c98c2fbe128dae895b4d7a00cec8d9bd7888072a 100644 (file)
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -25,10 +25,19 @@
 
 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 -> 
-  tex: [> `Document] GdomeT.t ->
+  dictionary_uri: string ->
+  mml_uri: string -> 
+  tex_uri: string ->
   log:(int -> string -> unit) ->
   t
   = "ml_mathml_editor_new"