]> matita.cs.unibo.it Git - helm.git/commit
unreleased version of the bindings, with more gtkmathview method bounds and dependenc...
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Jul 2005 12:27:47 +0000 (12:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Jul 2005 12:27:47 +0000 (12:27 +0000)
commit783153a9156030c67b263f8e8a5962ae42474832
treec42898c48fa301c5eba8bffbc7dd340dc8fcc376
parente0166342ff75d4186e0251a348174eccc6d380b6
unreleased version of the bindings, with more gtkmathview method bounds and dependencies on gmetadom 0.2.3
helm/DEVEL/lablgtkmathview/debian/changelog
helm/DEVEL/lablgtkmathview/debian/control
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gMathViewAux.ml
helm/DEVEL/lablgtkmathview/gMathViewAux.mli
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/gtk_mathview.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml