log

age author description
Tue, 23 Jun 2009 14:05:12 -0400 Adam Chlipala Factor out common request functionality, in preparation for supporting different protocols
Tue, 23 Jun 2009 12:53:47 -0400 Adam Chlipala New release
Thu, 18 Jun 2009 18:06:15 -0400 Adam Chlipala Fix a bug with 'Some p' patterns, where 'p' needs specialization
Tue, 16 Jun 2009 17:52:44 -0400 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff