X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2Fcommon.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2Fcommon.mli;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=7050f9f94cbfdaa281108480624c2196cff6dbcf;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/common.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/common.mli
deleted file mode 100644
index 7050f9f94..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/common.mli
+++ /dev/null
@@ -1,27 +0,0 @@
-(* $Id$ *)
-
-type range =
-  |  String
-  | Int
-  | Float of float * float
-  | Enum of string list
-  | Enum_string of string list
-  | Adjust
-  | CList_titles
-  | File
-
-class type prop =
-  object
-    method name : string	(* name of the property *)
-    method range : range	(* range of its values *)
-    method get : string		(* current value *)
-    method set : string -> unit	(* change value *)
-    method modified : bool	(* value differs from default *)
-    method code : string	(* encoded value for the ml code *)
-    method save_code : string   (* encoded value for saving *)
-  end
-
-class type tiwidget_base = object
-  method name : string
-  method proplist : (string * prop) list
-end