This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / glib.ml

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
deleted file mode 100644 (file)
index 2fd0140..0000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
+++ /dev/null
@@ -1,21 +0,0 @@
-(* $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