X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fgtk_mathview.ml;h=a5d36619496120c10f1373ae942709289e6e6c39;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=a8ef3ea863375ab5785f6283b20ade175cc6a569;hpb=dfb99fda45c1cd87a7c2fedcebb987f3220e0516;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
index a8ef3ea86..a5d366194 100644
--- a/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
+++ b/helm/DEVEL/lablgtkmathview/gtk_mathview.ml
@@ -1,4 +1,5 @@
-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ *                          Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
  *
  * This file is part of lablgtkmathview, the Ocaml binding
  * for the GtkMathView widget.
@@ -20,4 +21,4 @@
  * For details, send a mail to the author.
  *)
 
-type math_view = [`widget|`container|`bin|`eventbox|`math_view]
+type math_view = [Gtk.event_box|`mathview]