log Makefile.in

age author description
Fri, 24 Oct 2008 17:39:47 -0400 Adam Chlipala Add 'package' make target; add LICENSE
Sun, 19 Oct 2008 12:47:10 -0400 Adam Chlipala Proper configuration and installation