log tests/doubleDyn.urp

age author description
2012-01-14 Adam Chlipala Fix bug with 'dynClass' immediately inside <dyn>