{"push_id":4061756223,"size":9,"distinct_size":9,"ref":"refs/heads/develop","head":"6aa9064ca306c3f65d97509d494a1696ea6cc34e","before":"f45b698030a24136d1acdfa99e6818faf219cd52","commits":[{"sha":"bdc4cd341eb49ea6417b08f8cf26d76a50ead8ba","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"relabel dfbi1gb --> dfbi1ALT and edit comment; edit comment of id1","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/bdc4cd341eb49ea6417b08f8cf26d76a50ead8ba"},{"sha":"00b0584aeeafdbd3a2d0cb59949e55e438d04de9","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"typo and move ax52 within AS's mathbox but before the VD section to which it does not belong","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/00b0584aeeafdbd3a2d0cb59949e55e438d04de9"},{"sha":"a25dc71f3cdfbe0e26a34a45308dc8950f46e9e3","author":{"name":"Benoit","email":"a12d844e02d8a2742afdf9b4b9fd5145861ca5e5@gmail.com"},"message":"mathbox: conditional operator for propositions 'if'","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/a25dc71f3cdfbe0e26a34a45308dc8950f46e9e3"},{"sha":"f41700325b0a8a61896de6fe1a3d8050b81d6514","author":{"name":"avekens","email":"7e8fb0ec0b16ce6b532e4ca953edefe65463e2dd@yahoo.de"},"message":"Additioanl theorems for ~ evalSub1 and ~ eval1\n\nAdditioanl theorems for the evaluation of univariate polynomials (~ evalSub1 and ~ eval1 ) for finite group sums.","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/f41700325b0a8a61896de6fe1a3d8050b81d6514"},{"sha":"5cacb0e8bf6fa151a6d6a4a8929dd95b713a98da","author":{"name":"avekens","email":"7e8fb0ec0b16ce6b532e4ca953edefe65463e2dd@yahoo.de"},"message":"Proof of ~ evls1varpw shortened","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/5cacb0e8bf6fa151a6d6a4a8929dd95b713a98da"},{"sha":"ea76680e6869dc1ae5b2866101dbf0266759fed7","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1099 from benjub/misc\n\nMisc","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/ea76680e6869dc1ae5b2866101dbf0266759fed7"},{"sha":"2267a53cfe6bfdc92bcef58e8e8260e061420381","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1100 from avekens/develop\n\nAdditional theorems for ~ evalSub1 and ~ eval1","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/2267a53cfe6bfdc92bcef58e8e8260e061420381"},{"sha":"6449cead052274dd99fdbe327bcbda7d5f2370c3","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #1101 from wlammen/develop\n\nshorten 2eu6","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/6449cead052274dd99fdbe327bcbda7d5f2370c3"},{"sha":"6aa9064ca306c3f65d97509d494a1696ea6cc34e","author":{"name":"Wolf Lammen","email":"61e2f2dc583987f443eff0763a6be0e50fec87fb@gmx.de"},"message":"rename 2sb6rflem2 -> 2ax6e","distinct":true,"url":"https://api.github.com/repos/wlammen/set.mm/commits/6aa9064ca306c3f65d97509d494a1696ea6cc34e"}]}
{"actor":{"display_login":"wlammen"}}