log tests/sreturn.urp

age author description
2008-12-20 Adam Chlipala Initial <dyn> support