log

age author description
Tue, 23 Jun 2009 15:40:35 -0400 Adam Chlipala Further refactoring of request.c to work with CGI
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