]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39d3fb9) | patch
Effects of fixing bugs for other regression tests ;-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 21:31:23 +0000 (21:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 21:31:23 +0000 (21:31 +0000)
commitaef0ab661736f065a2a41a09df6e79fd4e626cd7
tree6dc50edb9587389fc76c7e1b4252aede2ff89614tree | snapshot
parent39d3fb9782dd5580debfb1e53840906f158e7954commit | diff
Effects of fixing bugs for other regression tests ;-)
helm/gTopLevel/tests/lambda01.cic.test diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.