log Makefile.am

age author description
Wed, 29 Jul 2015 10:08:03 -0400 Adam Chlipala Add a simple 'make test' target
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups