]> matita.cs.unibo.it Git - helm.git/commit
View tactics bar ==> Show tactics bar
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:32:12 +0000 (16:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:32:12 +0000 (16:32 +0000)
commit392bb33ef769de2390eceff61bd33c24b1fa9cba
tree8b98a81deddc2704c7d7b22d69839e983353d2c7
parentf0288812f1ada6833d867840e5a7b774faa7b38c
View tactics bar ==> Show tactics bar
helm/matita/matita.glade