]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gtk_mathview.ml
debian version 0.0.6-6
[helm.git] / helm / DEVEL / lablgtkmathview / gtk_mathview.ml
index 5472acbe5bd55b4a0f8df155628083dcaa7cf5b4..f5b8c5ef652766371a86d547b29634293be74779 100644 (file)
@@ -21,4 +21,4 @@
  * For details, send a mail to the author.
  *)
 
-type math_view = [`widget|`container|`bin|`eventbox|`math_view|`base]
+type math_view = [Gtk.widget|`mathview_gmetadom]