log src/settings.sml

age author description
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 03 May 2009 15:38:49 -0400 Adam Chlipala cookieSec demo
Sat, 02 May 2009 18:20:15 -0400 Adam Chlipala Runtime URL and MIME type filtering
Sat, 02 May 2009 13:37:52 -0400 Adam Chlipala allow/deny working in Mono_opt
Sat, 02 May 2009 13:23:07 -0400 Adam Chlipala Path rewriting
Sat, 02 May 2009 12:10:43 -0400 Adam Chlipala More FFI compiler options
Sat, 02 May 2009 11:27:26 -0400 Adam Chlipala Successfully influenced effectful-ness status of FFI func