]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29442b4) | patch
Regtest fixed. It can now work also with multiple answers.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 14:53:13 +0000 (14:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 14:53:13 +0000 (14:53 +0000)
commitcb5df9e3b544239848e779f3eaa542174b5c5806
treeb184396c507a4ac16fcd2c70407dd7018b876b25tree | snapshot
parent29442b4d21cf07992ad4e5c981085dada1f90fe4commit | diff
Regtest fixed. It can now work also with multiple answers.
helm/gTopLevel/regtest.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.