]> matita.cs.unibo.it Git - helm.git/commit
* update to version 0.6.4 of the widget
authorLuca Padovani <luca.padovani@unito.it>
Tue, 27 Jul 2004 12:59:11 +0000 (12:59 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 27 Jul 2004 12:59:11 +0000 (12:59 +0000)
commit30321de51742b359e6186b0388c183b2adb5e36a
treea864855519576e28eac9034686b6abe983f77d97
parentfd648e40eb2c9c5b29cfa4408459511a74898d1d
* update to version 0.6.4 of the widget
* not tested
helm/DEVEL/lablgtkmathview/configure.in
helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml
helm/DEVEL/lablgtkmathview/test/test.xml