]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99264b3) | patch
regression tests
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 15:43:46 +0000 (15:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 15:43:46 +0000 (15:43 +0000)
commitcab83f17a2d7a591c4ff2980b07946b50dbf9d00
tree149865229b3a2ee86ab536941f6b6b98f3daafc2tree | snapshot
parent99264b3a8247ca0e692bcbdb63087ce35e294e6bcommit | diff
regression tests
12 files changed:
helm/gTopLevel/tests/.cvsignore diff | blob | history
helm/gTopLevel/tests/fix00.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/forall00.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/lambda01.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/lambda02.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match00.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match01.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match02.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match03.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match04.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match05.cic.test [new file with mode: 0644] blob
helm/gTopLevel/tests/match06.cic.test [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.