log Makefile.am

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 base Makefile.in@ccad51e1d2f9