]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/gtkMathView.ml
Start of test phase
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / gtkMathView.ml
index a612a8b00f0482668a2e625cd440c629205b96c6..1deb11182c05b4e074a7d1b3304c1c001d9a2d2a 100644 (file)
@@ -53,10 +53,10 @@ module MathView = struct
    "ml_gtk_math_view_set_kerning"
   external get_kerning : [>`math_view] obj -> bool =
    "ml_gtk_math_view_get_kerning"
-  external log_set_verbosity : [>`math_view] obj -> int -> unit =
-   "ml_gtk_math_view_log_set_verbosity"
-  external log_get_verbosity : [>`math_view] obj -> int =
-   "ml_gtk_math_view_log_get_verbosity"
+  external set_log_verbosity : [>`math_view] obj -> int -> unit =
+   "ml_gtk_math_view_set_log_verbosity"
+  external get_log_verbosity : [>`math_view] obj -> int =
+   "ml_gtk_math_view_get_log_verbosity"
   external export_to_postscript : [>`math_view] obj -> int =
    "ml_gtk_math_view_export_to_postscript"