+++ /dev/null
-(* $Id$ *)
-
-open Common
-
-val init : unit -> GWindow.window
-val show : #tiwidget_base -> unit
-val add : #tiwidget_base -> unit
-val remove : string -> unit
-(* val change_name : string -> string -> unit *)
-val update : #tiwidget_base -> bool -> unit