{"push_id":2338739900,"size":1,"distinct_size":0,"ref":"refs/heads/testing","head":"cbef7d38a5aaaf17d35e7701674be66515b085ae","before":"a76f39e61e6c3934525e8219f2b79674989aa12a","commits":[{"sha":"cbef7d38a5aaaf17d35e7701674be66515b085ae","author":{"name":"Matt Kaufmann","email":"bd583fcbd536fab052adf39b9ec3df6a76db0f1b@gmail.com"},"message":"Improve defthmd error reporting, mainly by printing macroexpansion errors.  Fixed a comment about building ACL2.\n\nQuoting :doc note-8-1:\n\n  When an invocation of [defthmd] resulted in a macroexpansion error,\n  the failure did not cause an error message to be printed.  This has\n  been fixed.  Related tweaks improve error reporting, including a\n  clearer error message when attempting to supply :rule-classes nil\n  with defthmd.  Thanks to Keshav Kini for reporting these issues.\n\nAlso, fixed a confusing comment in source file axioms.lisp.  Thanks to\nAlessandro Coglio for pointing out the problem, and to J Moore for\nchecking my replacement comment.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/cbef7d38a5aaaf17d35e7701674be66515b085ae"}]}
{"actor":{"display_login":"acl2jenkins"}}