X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fmathml_editor.mli;h=aa0278522d6f98c87c9322025dcac2c0359378f0;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=f215561f59d7c9d44767847cdb868e03b29a2cf2;hpb=4beef8d7eac23c6015d2d4cf887e4fc9d546c07a;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
index f215561f5..aa0278522 100644
--- a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
+++ b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
@@ -28,9 +28,10 @@ val default_mathml_stylesheet_path : string
 val default_tex_stylesheet_path : string
 
 val create :
-  dictionary:< as_Document : [> `Document] GdomeT.t; .. > ->
-  mml:< as_Document : [> `Document] GdomeT.t; .. > ->
-  tml:< as_Document : [> `Document] GdomeT.t; .. > ->
+  ?alt_lexer:bool ->
+  dictionary_uri: string ->
+  mml_uri: string ->
+  tml_uri: string ->
   log:(int -> string -> unit) -> I_mathml_editor.t
 
 val freeze : editor:I_mathml_editor.t -> bool