acl2/acl2 — pull request #259 by harshrc (2014-09-27 02:23:46+00:00)
Title: sig is now just defdata::sig

Minor patch that I hope will fix the manual build failure.