]> matita.cs.unibo.it Git - helm.git/commit
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
tree30bcd9c551d61771b4473a1596113296d93e3893
parent9af0ac16488f57149c7d02aa5bbee47a81c7c342
The night test now shows the last commits and blames/praises the authors.
helm/software/matita/scripts/public_html/bench.php