log

age author description
Wed, 03 Aug 2011 10:34:53 -0400 Adam Chlipala Further emphasize necessity and purpose of Set Implicit Arguments; tweak Makefile to support parallel builds