{"push_id":680828622,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"3da3e6ca4880191d4661803c47273822a82d538f","before":"b1b95f52ba46de015fdcb7d4cf42931caba21f91","commits":[{"sha":"89f25dbaeb8c451262f2e62e7cc8b852bd08a744","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Remove temporary TeX output in make clean\n\nRemove *.out but keep Makefile.","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/89f25dbaeb8c451262f2e62e7cc8b852bd08a744"},{"sha":"59577bfef84e70be64036a9586a151961ddaaffb","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Typography fixes in prover guide\n\nNo double commas after \"e.g.\"; extra whitespace cleanup.","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/59577bfef84e70be64036a9586a151961ddaaffb"},{"sha":"85e9c7a05bbfd73d102829868c40f2c130366c54","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Update .cvsignore to .gitignore","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/85e9c7a05bbfd73d102829868c40f2c130366c54"},{"sha":"9ca36f816badd67f8187a5217b82bb5e23e4fc67","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Minor wording change in \"undo\" doc\n\nVerification is already overloaded in PVS; use confirmation instead.","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/9ca36f816badd67f8187a5217b82bb5e23e4fc67"},{"sha":"d1dbd21e21bafbc9d4afc147ff509aaa67695c5d","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Consistent uppercase LEMMA in prelude","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/d1dbd21e21bafbc9d4afc147ff509aaa67695c5d"},{"sha":"899815de52dd3309e701c67b3a6cb357b5e43b77","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"Update .gitignore for auto-generated files","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/899815de52dd3309e701c67b3a6cb357b5e43b77"},{"sha":"3da3e6ca4880191d4661803c47273822a82d538f","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"No extra semicolons in Makefile","distinct":true,"url":"https://api.github.com/repos/ptroja/PVS/commits/3da3e6ca4880191d4661803c47273822a82d538f"}]}