]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97c2d25) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 18:05:09 +0000 (18:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Nov 2005 18:05:09 +0000 (18:05 +0000)
commitc9084482321e613ee4d43ec62c512a0271a36808
tree8c47e4aad590701e3fb3fd28f94aedbf5e47b9b0tree | snapshot
parent97c2d258a5c524eb5c4b85208899d80751a2c82fcommit | diff
...
helm/matita/matita.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.