]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 513c721) | patch
Now useless type declaration removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 22:50:44 +0000 (22:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Dec 2010 22:50:44 +0000 (22:50 +0000)
commitc784ea75ce4e0d63b4146ccf1e1f174acc5bf5ba
tree78ad44d3321564eff34dec7bce8d08643a0d8fd6tree | snapshot
parent513c7211bb07abd4c1da842a29c05301890aa73acommit | diff
Now useless type declaration removed.
matita/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.