X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgMain.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgMain.ml;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=811f490d481aec47791712bf13fe0362727a8bec;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMain.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMain.ml
deleted file mode 100644
index 811f490d4..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMain.ml
+++ /dev/null
@@ -1,26 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GtkMain
-open GObj
-
-module Main : sig
-  val init : unit -> string (* returns the locale name *)
-  val main : unit -> unit
-  val quit : unit -> unit
-  val version : int * int * int
-  val flush : unit -> unit
-end = Main
-
-module Grab = struct
-  open Grab
-  let add (w : #widget) = add w#as_widget
-  let remove (w : #widget) = remove w#as_widget
-  let get_current () = new widget (get_current ())
-end
-
-module Timeout : sig
-  type id
-  val add : ms:int -> callback:(unit -> bool) -> id
-  val remove : id -> unit
-end = Timeout