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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMain.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMain.ml
deleted file mode 100644
index 811f490d4..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-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