log

age author description
Wed, 15 Jun 2011 09:52:06 -0400 Adam Chlipala Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
Tue, 14 Jun 2011 08:54:45 -0400 Adam Chlipala Implicit argument insertion for local variables
Sun, 12 Jun 2011 17:44:34 -0400 Adam Chlipala Keep user-set response headers on indirect returns
Wed, 01 Jun 2011 07:23:27 -0400 Adam Chlipala Handle 'prefix' directives for HTTPS
Tue, 31 May 2011 09:14:03 -0400 Adam Chlipala Explain how to signal an error in a commit handler
Tue, 31 May 2011 07:44:52 -0400 Adam Chlipala Proper C pretty-printing of floats in scientific notation
Mon, 30 May 2011 09:31:50 -0400 Adam Chlipala Fix bug with string literals in unAs