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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/glib.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/glib.ml
deleted file mode 100644
index 2fd014099..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-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