]> matita.cs.unibo.it Git - helm.git/commitdiff
added warning comment about using unstable stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Jan 2003 12:50:13 +0000 (12:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Jan 2003 12:50:13 +0000 (12:50 +0000)
helm/DEVEL/lablgtkmathview/gMathViewAux.mli

index a5aabcfb4a2438ad0f64314a2df155ae1cd6b7db..abbe54493d7bc901813b2d919ecb06eb8a51419f 100644 (file)
@@ -49,6 +49,8 @@ val single_selection_math_view :
   ?show:bool ->
   unit -> single_selection_math_view
 
+  (** EXPERIMENTAL STUFF from now on: use with care and at your own risk! *)
+
 class multi_selection_math_view :
   Gtk_mathview.math_view Gtk.obj ->
   object