log

age author description
Thu, 28 Jan 2010 09:56:08 -0500 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX