]> matita.cs.unibo.it Git - helm.git/commit
* binding update to recognize the new event scheme generated by
authorLuca Padovani <luca.padovani@unito.it>
Mon, 27 Jan 2003 14:21:24 +0000 (14:21 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 27 Jan 2003 14:21:24 +0000 (14:21 +0000)
commit56b68e877e6eb517c3efba7d9485947e940f7785
tree43b8844cd79a2698c5bf2672faa28e9589102dfc
parentb689a2381eedeadd6a23f74348b4322c5f0085d6
* binding update to recognize the new event scheme generated by
   gtkmathview
* some code for handling maction elements has been moved into the
  compatibility class
helm/DEVEL/lablgtkmathview/Makefile.in
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/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml