log

age author description
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
Thu, 28 Jan 2010 13:55:01 -0500 Adam Chlipala Run autoreconf at start of 'make reauto'
Thu, 28 Jan 2010 13:32:26 -0500 Adam Chlipala Switch to gcc -Wall
Thu, 28 Jan 2010 10:48:49 -0500 Adam Chlipala Get rid of those pesky symlinks for autotools files
Thu, 28 Jan 2010 09:56:08 -0500 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX