log include/types.h

age author description
Thu, 10 Mar 2011 18:51:15 -0500 Adam Chlipala Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization
Sun, 26 Dec 2010 17:29:03 -0500 Adam Chlipala queryString and effectfulUrl
Sun, 26 Dec 2010 15:52:56 -0500 Adam Chlipala Expose buffer type for other C libraries; replace minusSeconds with addSeconds
Fri, 24 Dec 2010 18:08:29 -0500 Adam Chlipala Changed uw_Basis_time to store microseconds
Sat, 18 Dec 2010 15:17:09 -0500 Adam Chlipala Periodic tasks
Sat, 18 Dec 2010 10:56:31 -0500 Adam Chlipala postBody type