X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fglib.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fglib.ml;h=2fd0140992243c43e0a5c35b659cfbbacdbaf8d5;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
new file mode 100644
index 000000000..2fd014099
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
@@ -0,0 +1,21 @@
+(* $Id$ *)
+
+type warning_func = string -> unit
+
+external set_warning_handler : (string -> unit) -> warning_func
+    = "ml_g_set_warning_handler"
+
+type print_func = string -> unit
+
+external set_print_handler : (string -> unit) -> print_func
+    = "ml_g_set_print_handler"
+
+module Main = struct
+  type t
+  external create : bool -> t = "ml_g_main_new"
+  external iteration : bool -> bool = "ml_g_main_iteration"
+  external pending : unit -> bool = "ml_g_main_pending"
+  external is_running : t -> bool = "ml_g_main_is_running"
+  external quit : t -> unit = "ml_g_main_quit"
+  external destroy : t -> unit = "ml_g_main_destroy"
+end