]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c97025a) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Sep 2005 10:08:37 +0000 (10:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 2 Sep 2005 10:08:37 +0000 (10:08 +0000)
commit17532fac9ddba4c59f8afcdd7f69556b35909a9d
tree14bb5bb02252b72abf1133e7e1bd6378d799a055tree | snapshot
parentc97025ab25fcb1ce417d59d1ebfd5dd4f8526de4commit | diff
...
helm/matita/matita.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.