log include/types.h

age author description
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