]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9af0ac1) | patch
The night test now shows the last commits and blames/praises the authors.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Apr 2007 17:17:36 +0000 (17:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Apr 2007 17:17:36 +0000 (17:17 +0000)
commit38aba13f4c59bf1a842f507792482d6575f7bcf9
tree30bcd9c551d61771b4473a1596113296d93e3893tree | snapshot
parent9af0ac16488f57149c7d02aa5bbee47a81c7c342commit | diff
The night test now shows the last commits and blames/praises the authors.
helm/software/matita/scripts/public_html/bench.php diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.