]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b8606b) | patch
added regression tests
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:10:16 +0000 (08:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:10:16 +0000 (08:10 +0000)
commitded0396c81ec49a45d9406becb602e1071e6820b
tree9c32e6b2cf75dbddd9b0521d886a17ebdc6aacactree | snapshot
parent8b8606be3b086e20ead16ca7417da5f1c4e02e79commit | diff
added regression tests
15 files changed:
helm/gTopLevel/.cvsignore diff | blob | history
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
helm/gTopLevel/batchParser.ml [new file with mode: 0644] blob
helm/gTopLevel/batchParser.mli [new file with mode: 0644] blob
helm/gTopLevel/regtest.ml [new file with mode: 0644] blob
helm/gTopLevel/tests/.cvsignore [new file with mode: 0644] blob
helm/gTopLevel/tests/forall00.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match00.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match01.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match02.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match03.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match04.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match05.cic [new file with mode: 0644] blob
helm/gTopLevel/tests/match06.cic [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.