log

age author description
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