]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b307b68) | patch
HIDDEN (since glade do not read out file properly anymore) tactic bar and
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:38:25 +0000 (16:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:38:25 +0000 (16:38 +0000)
commit2c01033601d80a35c9e6169bea1fe0992246e2ce
tree62fdabf6fae88809160f490dcffd71ee5f65c637tree | snapshot
parentb307b6879e5b07fccb8cd0927e5a753f9ca22d6ccommit | diff
HIDDEN (since glade do not read out file properly anymore) tactic bar and
outline notebook tab
matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.