]> matita.cs.unibo.it Git - helm.git/commit
* restored binding with gtkmathview 0.4.0
authorLuca Padovani <luca.padovani@unito.it>
Thu, 23 Jan 2003 16:14:40 +0000 (16:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 23 Jan 2003 16:14:40 +0000 (16:14 +0000)
commite7bcb20821caa3e03bf1b77a7e9f329aeaacab07
tree99fff3dfd9f8bebf943f54601d28a7a84fb7b67f
parent4bf7f0ebfdd388499250463242fd5a0dd625e66c
* restored binding with gtkmathview 0.4.0
* added compatibility class for single selection and gtkmathview
* added prototype of multiple selection gtkmathview (likely to change)
helm/DEVEL/lablgtkmathview/.depend
helm/DEVEL/lablgtkmathview/Makefile.in
helm/DEVEL/lablgtkmathview/configure.in
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gMathViewAux.ml [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/gMathViewAux.mli [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/Makefile.in
helm/DEVEL/lablgtkmathview/test/test.ml