]> matita.cs.unibo.it Git - helm.git/commit
test/test.ml: added a call to reset_selection
authorLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:47:05 +0000 (15:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:47:05 +0000 (15:47 +0000)
commitec7900ebc4b63319255164860415dfb1a26eeb53
tree1632719171dfd6744968cff4c255cd6b858e64e3
parent4f98c8cd1032a2a0f24b7c1a90eede8dfdbccbbe
test/test.ml: added a call to reset_selection
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/test/test.ml