]> matita.cs.unibo.it Git - helm.git/commit
Added option -timeout. Default is 5s.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 17:57:39 +0000 (17:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 17:57:39 +0000 (17:57 +0000)
commitaa4474a3b23b71b8a6e0d36f0daa0e90b3ffed66
tree48dd3b3c3084416a686b97e09446a21bd0165785
parent3b22e6ed78aa7d1d076734a7e91ef6f2066a4aa9
Added option -timeout. Default is 5s.
helm/gTopLevel/testlibrary.ml