log include/types.h

age author description
Sun, 29 May 2011 14:29:26 -0400 Adam Chlipala getHeader and setHeader
Sat, 09 Apr 2011 14:36:47 -0400 Adam Chlipala Each context gets its own non-repeating sequence of source numbers
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