log tests/sleep.urp

age author description
2009-04-04 Adam Chlipala sleep and better Scriptcheck