]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathViewAux.mli
added warning comment about using unstable stuff
[helm.git] / 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