log

age author description
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
Tue, 26 Jan 2010 14:59:19 -0500 Adam Chlipala Handling errors during commit