| 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 |
| Thu, 24 Feb 2011 17:29:45 -0500 |
Adam Chlipala |
Fix Utest to track latest change |
| Thu, 20 Jan 2011 12:23:44 -0500 |
Adam Chlipala |
More flexibility in placement of login form and other similar stuff |
| Sun, 16 Jan 2011 13:21:34 -0500 |
Adam Chlipala |
fakeId parameter |
| Sat, 08 Jan 2011 18:47:27 -0500 |
Adam Chlipala |
Fix embarrassing bug that deleted sessions that were too new, rather than old |
| Thu, 06 Jan 2011 15:25:11 -0500 |
Adam Chlipala |
Utest example |
