log tests/thog.urp

age author description
2010-10-14 Adam Chlipala -limit for running time