{"push_id":727460602,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c610787b676b38a34ca0d2c947f5040e74f2f3e2","before":"c3ddaf8b8bce2f9f44226249393ab2f12c6d82de","commits":[{"sha":"c610787b676b38a34ca0d2c947f5040e74f2f3e2","author":{"email":"7394adc3ff954a29eda7b50c2daab5e2a71e7811@axiom-developer.org","name":"Tim Daly"},"message":"Makefile: extract and run proof code automatically\n\nGoal: Prove Axiom correct\n\nIf the command line include \"ACL2=acl2\" then the system extracts the\n'acl2' chunk from the books and run acl2 proof code automatically.","distinct":true,"url":"https://api.github.com/repos/daly/axiom/commits/c610787b676b38a34ca0d2c947f5040e74f2f3e2"}]}