{"push_id":1346725594,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bc0e4b30929634b9b61458144fbbe011ad11463b","before":"09436571b07c789611d2c1c4626510872c40cb2c","commits":[{"sha":"136a85b3b2df14819b9fe4618c9f8f944527dfb3","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@Matts-MBP.attlocal.net"},"message":"Added new books for apply$ from J, along with as-yet unadvertised experimental support for evaluation with apply$ provided by J with a bit of input from me","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/136a85b3b2df14819b9fe4618c9f8f944527dfb3"},{"sha":"bc0e4b30929634b9b61458144fbbe011ad11463b","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Added some symbols to *acl2-exports*.\n\nNOTE: This will require recertifying some books.  I recommend that\nafter updating, an ACL2 executable is rebuilt and then a regression is\ndone from scratch.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/bc0e4b30929634b9b61458144fbbe011ad11463b"}]}
{"actor":{"display_login":"MattKaufmann"}}