]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb5df9e) | patch
The regression tests now check also the generated disambiguation environments.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 15:19:06 +0000 (15:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 15:19:06 +0000 (15:19 +0000)
commit57f2f0152b79ad7096b72b7e3e83939d63454a88
tree1c3814dde7858ccd8c52583b02b0dd4276928c82tree | snapshot
parentcb5df9e3b544239848e779f3eaa542174b5c5806commit | diff
The regression tests now check also the generated disambiguation environments.
helm/gTopLevel/batchParser.ml diff | blob | history
helm/gTopLevel/batchParser.mli diff | blob | history
helm/gTopLevel/regtest.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.