]> matita.cs.unibo.it Git - helm.git/commit
Better tooltips.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:41:31 +0000 (16:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:41:31 +0000 (16:41 +0000)
commitdc861d214cb992a898f81752614201b8074eef12
tree2ed33f3430ece82310081ccb3d257c28e61e21df
parentf1ead5ca7c899816e6b6ba37f13cc87eb4c4b2cf
Better tooltips.
helm/matita/matita.glade