log src/export.sml

age author description
2013-12-12 Adam Chlipala Start SQL transactions as read-only when possible, based on conservative program analysis
2010-12-18 Adam Chlipala postBody type
2009-04-23 Adam Chlipala Only use cookie signatures when cookies might be read
2009-04-16 Adam Chlipala Effectness analysis
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes