log tests/prefix2.urp

age author description
2012-06-23 Adam Chlipala Flush elaboration cache when switching between .urp files