]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5bb1c1e) | patch
catch exceptions and mark corresponding tests as failed
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Feb 2004 13:45:52 +0000 (13:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Feb 2004 13:45:52 +0000 (13:45 +0000)
commit0a4e52bf1512e106abbe81387477c764adce966e
tree5dfc65d249344a22a25f2462e0aecbba55e6dd95tree | snapshot
parent5bb1c1ed4a30a99751414b7519efb5c58283d649commit | diff
catch exceptions and mark corresponding tests as failed
helm/gTopLevel/regtest.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.