GitHub PushEvent at 2014-09-27 02:27:58
Repository: acl2
Actor: ragerdl
Payload: {"shas":[["f7fe80523be8ad0471985b8b92d48b49738c93b8","0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","Changed NONSTD to ACL2_REAL in GNUmakefile, anticipating changes about to be made by David Rager to the books.","Matt Kaufmann",true],["24a6732875a333e43497416f9f82afa2ed5011fe","ffb489d5c76265d516ffd0d5a9a0632242ec42ed@gmail.com","sig is now just defdata::sig","Harsh Raju Chamarthi",true],["8e78874b8832520ec1a54a3821d878fc03eaeef2","48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","Merge pull request #259 from harshrc/master\n\nsig is now just defdata::sig","David L. Rager",true],["f63952db162077b5ed419c44b1970db7a4a221a0","48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","Merge remote-tracking branch 'upstream/master'","David L Rager",true]],"size":4,"ref":"refs/heads/beta","head":"f63952db162077b5ed419c44b1970db7a4a221a0"}