X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;fp=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;h=abbe54493d7bc901813b2d919ecb06eb8a51419f;hb=c2f4e2dda7bb9cdfa1813ff3878b011e802edefc;hp=a5aabcfb4a2438ad0f64314a2df155ae1cd6b7db;hpb=b34ed0280866aa71c584174d7de6df1f9483eebb;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index a5aabcfb4..abbe54493 100644
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -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