]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c784ea7) | patch
Better typing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 23:35:27 +0000 (23:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 23:35:27 +0000 (23:35 +0000)
commit36d6216b038dc101abd8b47ecbecd9f6abd5a617
treeaa8e63e0add0a62cf5c1076e429c57d98edb56e8tree | snapshot
parentc784ea75ce4e0d63b4146ccf1e1f174acc5bf5bacommit | diff
Better typing.
matita/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.