]> matita.cs.unibo.it Git - helm.git/commit
F2 hides the tactics buttons bar
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 14:45:57 +0000 (14:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 14:45:57 +0000 (14:45 +0000)
commit98af6b692e80b3ce45886b89100812047d67c3bd
tree761278e0adfdfa0435784f87efbb32befd263539
parent43344e4fa2b1392f169abab908c319ef76155f0b
F2 hides the tactics buttons bar
helm/matita/matita.glade
helm/matita/matitaGui.ml