log src/sources

age author description
Sun, 28 Jun 2009 13:49:32 -0400 Adam Chlipala Start of multi-DBMS support
Sun, 28 Jun 2009 11:49:04 -0400 Adam Chlipala Move http protocol into its own file
Sat, 27 Jun 2009 12:38:23 -0400 Adam Chlipala Successfully starting FastCGI sessions with Apache
Sat, 27 Jun 2009 10:50:45 -0400 Adam Chlipala Avoid using prepared statements for non-persistent protocols
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes