]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5eb10ed) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Dec 2005 18:18:09 +0000 (18:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Dec 2005 18:18:09 +0000 (18:18 +0000)
commit945477cf2bd4587727fe492b2c31e10bc20ed906
tree9a160a4206a54615d10ecbe8ca5b6fa8403b5835tree | snapshot
parent5eb10ed1a0a64b09e36dfb5f29774ada50fd37c6commit | diff
...
helm/matita/tests/bad_tests/auto.log diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.