log tests/threads.ur

age author description
2009-04-16 Adam Chlipala Avoid thread death via message receive