log src/settings.sml

age author description
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
Sat, 27 Jun 2009 10:30:51 -0400 Adam Chlipala -debug from the command line
Tue, 23 Jun 2009 17:59:23 -0400 Adam Chlipala cgi protocol
Tue, 23 Jun 2009 15:56:04 -0400 Adam Chlipala Initial implementation of protocols in Settings
Tue, 09 Jun 2009 11:12:34 -0400 Adam Chlipala Mark current as effectful; add List functions
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable