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