]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 281107d) | patch
* bind of method get_drawing_area
authorLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 13:08:21 +0000 (13:08 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 13:08:21 +0000 (13:08 +0000)
commit1c22e6a7aa5a776bc4fb2982826aa53d171a2d5f
tree00ff1a84906abc0c346b008c3403065382f86d86tree | snapshot
parent281107dfb0a5531ac13c9e183f39c05c65813e86commit | diff
* bind of method get_drawing_area
* currently the test doesn't do anything with it
helm/DEVEL/lablgtkmathview/gMathView.ml diff | blob | history
helm/DEVEL/lablgtkmathview/gMathView.mli diff | blob | history
helm/DEVEL/lablgtkmathview/gtkMathView.ml diff | blob | history
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c diff | blob | history
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.