]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2afb20c) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 09:55:25 +0000 (09:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jul 2005 09:55:25 +0000 (09:55 +0000)
commite4f647a89ca8fefdc69bab65468683c415ff0619
tree07b1011f1df5799ffe86b51f00433d3378de35c8tree | snapshot
parent2afb20c90f56b970887c650c35fb9043ccc4c2dccommit | diff
...
helm/matita/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.