log

age author description
Mon, 27 Jun 2011 21:36:32 +0100 Robin Green recToList
Tue, 28 Jun 2011 11:55:57 +0100 Robin Green top.urs: More comments
Sun, 26 Jun 2011 19:45:21 -0400 Adam Chlipala Workaround for old IE handling of <option> with no 'value' attribute
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive
Thu, 23 Jun 2011 08:44:03 -0400 Adam Chlipala 'show' instance for 'css_class'
Wed, 22 Jun 2011 13:58:43 -0430 Karn Kallio Add rowspan attribute to td,th elements.
Thu, 23 Jun 2011 00:01:52 -0430 Karn Kallio xtable monoize to string.
Fri, 17 Jun 2011 11:52:56 -0400 Adam Chlipala Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)
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