{"push_id":545813522,"size":4,"distinct_size":2,"ref":"refs/heads/master","head":"5857c9684e5f21642630507672f0fd799fff002a","before":"3e0a21fd639ebb22258339d557b2c9c36217a0f0","commits":[{"sha":"384dfe722a9bd2af9980d007234a2543cdf41650","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","name":"Matt Kaufmann"},"message":"ACL2 Version 7.0 release\n\nChanges to the ACL2 system source files and also\nbooks/Makefile-subdirs, books/Makefile-psubdirs, and\nbooks/Makefile-generic include:\n\n- Bump version from 6.5 to 7.0.\n- Update copyrights on ACL2 system to 2015.\n\nChanges to books/GNUmakefile include:\n\n- Fix BOOKS_SKIP_COMP to avoid books that are problematic to compile\n  for every Lisp using include-book option :comp t.\n\nIn books/system/doc/acl2-doc.lisp:\n\n- Bump version from 6.5 to 7.0.\n- As per J, updated :doc acknowledgments to credit CLI with original logo.\n- Put release date on :doc note-7-0.\n\nIn books/acl2s/defdata/base.lisp:\n\n- Replaced ::prettyified-def by :prettyified-def.\n\nIn books/system/doc/acl2-doc-wrap.lisp:\n\n- Bump version from 6.5 to 7.0.\n\nAlso fixed a couple of certification failures with ACL2(hp), and a typo.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/384dfe722a9bd2af9980d007234a2543cdf41650"},{"sha":"620472a910388b974d13634d2ebd660f0016d965","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","name":"Matt Kaufmann"},"message":"Restored \"development snapshot\" warning.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/620472a910388b974d13634d2ebd660f0016d965"},{"sha":"a746b55ca6c931ee809f9974fcc7fd13a554c8c4","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","name":"Matt Kaufmann"},"message":"Merge remote-tracking branch 'remotes/origin/master'.  I'm merging remote master into my local master after having merged the remote v7-0 branch into my local master.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/a746b55ca6c931ee809f9974fcc7fd13a554c8c4"},{"sha":"5857c9684e5f21642630507672f0fd799fff002a","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","name":"Matt Kaufmann"},"message":"Fixed a small whitespace issue after merging together mods for Version 7.0 and the latest master.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/5857c9684e5f21642630507672f0fd799fff002a"}]}