log tests/utest.ur

age author description
Wed, 06 Nov 2013 18:25:51 -0500 Adam Chlipala Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
Tue, 09 Aug 2011 09:53:40 -0400 Adam Chlipala Graceful handling of OpenID providers that log the user in as the wrong identifier
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