log

age author description
Sat, 30 Jan 2010 13:39:39 -0500 Adam Chlipala Remove a faulty time tweak from Postgres serialization
Sat, 30 Jan 2010 12:00:08 -0500 Adam Chlipala Change to satisfy GCC implicit aliasing rules