]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd9608b) | patch
ctrl+pgUp/Down to navigate tabs
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Jan 2011 22:25:40 +0000 (22:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 11 Jan 2011 22:25:40 +0000 (22:25 +0000)
commit9829f5885ee8cecab0ffcfcba5ef558fc976f601
tree3a5bbd5099e625dd24a9d90641ef60edabc9b11ctree | snapshot
parentfd9608bcb8fa8b35ecd289158d72b3f5a618ac2ccommit | diff
ctrl+pgUp/Down to navigate tabs
matita/matita/matitaGtkMisc.ml diff | blob | history
matita/matita/matitaGtkMisc.mli diff | blob | history
matita/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.