Mercurial > urweb
log
age | author | description |
---|---|---|
Sat, 03 Sep 2011 12:56:05 -0400 | Adam Chlipala | Switch type of 'for' attribute |
Sat, 03 Sep 2011 12:51:05 -0400 | Adam Chlipala | An abstract type of IDs |
Sat, 03 Sep 2011 11:48:12 -0400 | Adam Chlipala | New client-side, document-level event handlers |
Sat, 03 Sep 2011 08:57:13 -0400 | Adam Chlipala | Better detection of type class witnesses in local bindings |