log

age author description
Sun, 23 Jan 2011 15:49:35 -0500 Adam Chlipala Fix monoization of sql_relop (grandfathered into release!)
Sun, 23 Jan 2011 15:34:06 -0500 Adam Chlipala Only announce URI serving in standalone HTTP server (grandfathered into release!)
Sun, 23 Jan 2011 15:01:30 -0500 Adam Chlipala New release
Sun, 23 Jan 2011 14:59:59 -0500 Adam Chlipala Fix issues with empty page buffers for tasks
Sun, 23 Jan 2011 11:18:24 -0500 Adam Chlipala Allow CSS class specification for <form>
Sat, 22 Jan 2011 12:55:48 -0500 Adam Chlipala Using FastCGI debug info
Sat, 22 Jan 2011 10:53:06 -0500 Adam Chlipala Fix parsing of Postgres timestamps with super-microsecond fractional seconds, based on patch from Vladimir Shabanov