log tests/utest.ur

age author description
Thu, 21 Apr 2011 20:06:46 -0430 Karn Kallio Merge Adam's upstream changes and update tests.
Thu, 21 Apr 2011 13:24:55 -0400 Adam Chlipala Change some field names and update utest
Thu, 24 Feb 2011 17:29:45 -0500 Adam Chlipala Fix Utest to track latest change