]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c99f78) | patch
* fixed bug of multiple selections
authorLuca Padovani <luca.padovani@unito.it>
Fri, 30 Jul 2004 08:56:16 +0000 (08:56 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 30 Jul 2004 08:56:16 +0000 (08:56 +0000)
commit6a9a80d3c988c355e8067013cb9d34d92404454b
tree0eab4d90b9f30b1acc7162d1f118a1165c0d6de6tree | snapshot
parent5c99f78f510b49bc1bcf95d430c98bb18826c63fcommit | diff
* fixed bug of multiple selections
* minor code cleanup
helm/DEVEL/lablgtkmathview/gMathView.mli diff | blob | history
helm/DEVEL/lablgtkmathview/gMathViewAux.ml diff | blob | history
helm/DEVEL/lablgtkmathview/gtkMathView.props diff | blob | history
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.