log tests/doubleDyn.ur

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