From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 24 Jan 2003 12:50:13 +0000 (+0000)
Subject: added warning comment about using unstable stuff
X-Git-Tag: v0_3_99~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c2f4e2dda7bb9cdfa1813ff3878b011e802edefc;p=helm.git

added warning comment about using unstable stuff
---

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