{"push_id":1291679912,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1be1d11874a23b4b644e5391f09e22958ef852d7","before":"41e2e6ce80288767564336e31a1dd72b58617c2a","commits":[{"sha":"1be1d11874a23b4b644e5391f09e22958ef852d7","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"ACL2(r) fixes; induction message fix.\n\nFixed induction message by untranslating; thanks to Eric Smith for\npointing out this bug.\n\nMade a fix to defun-sk for ACL2(r) introduced in the last month\n(probably); thanks to Sol Swords for pointing it out.  Also fixed\na couple of certification failures for ACL2(r).","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/1be1d11874a23b4b644e5391f09e22958ef852d7"}]}
{"actor":{"display_login":"MattKaufmann"}}