Sat, 03 Sep 2011 08:57:13 -0400 |
Adam Chlipala |
Better detection of type class witnesses in local bindings |
Sun, 28 Aug 2011 19:32:20 -0400 |
Adam Chlipala |
Even gentler handling of back-button returns to pages with stale message-passing credentials |
Sun, 28 Aug 2011 17:16:54 -0400 |
Adam Chlipala |
Gentle handling of back-button returns to pages with stale message-passing credentials |
Sun, 28 Aug 2011 14:43:30 -0400 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
Sun, 28 Aug 2011 14:01:41 -0400 |
Adam Chlipala |
Postgres deadlock triggers unlimited retry |
Fri, 26 Aug 2011 09:51:38 -0400 |
Adam Chlipala |
Gracefully accept browser's refusal to let us set certain AJAX headers |
Wed, 24 Aug 2011 08:18:09 -0400 |
Adam Chlipala |
Document monadic shorthands |
Sun, 21 Aug 2011 13:41:57 -0400 |
Adam Chlipala |
Fix another list unurlification segfault bug; List.foldlMi |