]> matita.cs.unibo.it Git - helm.git/commit
Improved regression testing reporting.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 13:45:03 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 13:45:03 +0000 (13:45 +0000)
commite02c6e8e53e94e0bc7e2556fcd67645f46b039fc
tree7c6aedac1069e3941811708dde816694970bd812
parent3a78c9d9b4da1f7b4ec83141449c4e81c5c96cff
Improved regression testing reporting.
helm/gTopLevel/Makefile
helm/gTopLevel/regtest.ml