log tests/showTime.ur

age author description
2011-12-04 Adam Chlipala timeFormat .urp directive