log Makefile.am

age author description
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups