X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fi_mathml_editor.ml;h=d865898d614bb74a811a5a3f2a50c3f0ef8e922f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=229478101f89eaf450ca0487d080c3ad68cbe27e;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;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..d865898d6 100644
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -25,13 +25,24 @@
 
 type t
 
-external create : 
-  dictionary:[> `Document] GdomeT.t ->
-  mml: [> `Document] GdomeT.t -> 
-  tex: [> `Document] GdomeT.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 raw_create : 
+  alt_lexer:bool ->
+  dictionary_uri: string ->
+  mml_uri: string -> 
+  tml_uri: string ->
   log:(int -> string -> unit) ->
   t
   = "ml_mathml_editor_new"
+let create ?(alt_lexer=false) = raw_create ~alt_lexer
 
 external freeze : editor:t -> bool
   = "ml_mathml_editor_freeze"