]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65e1bb1) | patch
Dama is now in the night benchmarks.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:10:00 +0000 (12:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:10:00 +0000 (12:10 +0000)
commit69c5a60dfa385a3d0e270ed38eb0d970366792c5
treedd4b6951047d5bc172cf3840f6bc1cbd634a28eftree | snapshot
parent65e1bb1fc4ceb4e71d442ecd1f905a86b55bde61commit | diff
Dama is now in the night benchmarks.
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.