ocaml 3.09 transition

[helm.git] / helm / DEVEL / mathml_editor / ocaml / mathml_editor.mli

diff --git a/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli b/helm/DEVEL/mathml_editor/ocaml/mathml_editor.mli
index f215561f59d7c9d44767847cdb868e03b29a2cf2..aa0278522d6f98c87c9322025dcac2c0359378f0 100644 (file)
--- 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