{"push_id":616005725,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"3e52257db20d7404a6c0df087f358e35c72ae53c","before":"5efc8e0feb74e34e67029aa5333f3f4007f483bd","commits":[{"sha":"75621df52b1d4fe49079783baf8895bac41106eb","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): uniform notation for lists in tactics\n\ncloses #504","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/75621df52b1d4fe49079783baf8895bac41106eb"},{"sha":"1b15036dba469020d37f7d6b77b88974d8a36cb1","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/definitional): automatically add attribute [unfold-c] to cases_on, brec_on and rec_on\n\nsee #496","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/1b15036dba469020d37f7d6b77b88974d8a36cb1"},{"sha":"3e52257db20d7404a6c0df087f358e35c72ae53c","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/definitional): automatically add attribute [unfold-c] to cases_on, brec_on and rec_on","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/3e52257db20d7404a6c0df087f358e35c72ae53c"}]}