]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eba57d) | patch
Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 22:10:10 +0000 (22:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Dec 2010 22:10:10 +0000 (22:10 +0000)
commit5280ec9794de75e63ffc01bddf1756ebcca02be0
tree931ed569e3191e25bb1e9efbf979ef98d1fd21d6tree | snapshot
parent1eba57d6ae8c7cb8adab81cf50674adaaa55eccccommit | diff
Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition.
matita/matita/DA_FARE [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.