]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/propwin.mli
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / radtest / propwin.mli
1 (* $Id$ *)
2
3 open Common
4
5 val init : unit -> GWindow.window
6 val show : #tiwidget_base -> unit
7 val add : #tiwidget_base -> unit
8 val remove : string -> unit
9 (* val change_name : string -> string -> unit *)
10 val update : #tiwidget_base -> bool -> unit