]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9d86ce) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 15:34:34 +0000 (15:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 15:34:34 +0000 (15:34 +0000)
commitf17163e4895bdd6677da1616aafac0e5ee58c7d3
treec3a44aadb0a8c632bb9a1cf11dc4f535fb56997ftree | snapshot
parentc9d86ce2c1da11897768511f39f995051562dde0commit | diff
...
helm/matita/matita.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.