log tests/dynSpan.urp

age author description
2009-04-04 Adam Chlipala Checking spans in dyns