]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 250f53b) | patch
bugfix: call add_selection_target each time selection changes so that
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 14:52:19 +0000 (14:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 28 Jul 2005 14:52:19 +0000 (14:52 +0000)
commit5e633d3673762de8bf599442f874fe0e9a88e08a
treeb4704e0e7471ac13977668392b09fd31cd87fa09tree | snapshot
parent250f53b2bddee6abaab7d586cfecccdc3fc61467commit | diff
bugfix: call add_selection_target each time selection changes so that
selection works more than once
helm/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.