log

age author description
Sat, 30 Jan 2010 15:34:00 -0500 Adam Chlipala Another try to include more Autofiles in the distribution
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
Sat, 30 Jan 2010 11:21:26 -0500 Adam Chlipala Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
Sat, 30 Jan 2010 08:45:31 -0500 Adam Chlipala New release
Thu, 28 Jan 2010 20:10:32 -0500 Adam Chlipala Small tweaks