{"push_id":1306518505,"size":7,"distinct_size":7,"ref":"refs/heads/lean3","head":"165e2d5b97086211fc913598fefaa7cc56a0a0f9","before":"4dac796337662786959fb6594278ef697e806f18","commits":[{"sha":"5e4e1ba88a14c074f24545105064f93d84200aef","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(frontends/lean): delete old definition command","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/5e4e1ba88a14c074f24545105064f93d84200aef"},{"sha":"9f1a576e987f5dba9a8055ccfedf6ae586b4fdf6","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(frontends/lean): remove dead code from parser","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/9f1a576e987f5dba9a8055ccfedf6ae586b4fdf6"},{"sha":"f6aba503ff74395df53668c2129f7773d7919bef","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(frontends/lean): remove old elaborator","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/f6aba503ff74395df53668c2129f7773d7919bef"},{"sha":"c66dbf202bc49b1bdd5c04ee4785a2cb406b2c81","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/equations_compiler): remove old equation compiler","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/c66dbf202bc49b1bdd5c04ee4785a2cb406b2c81"},{"sha":"d2b400ac2c853d231f0b73174ae7de3db9bb867d","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library): remove old unifier","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/d2b400ac2c853d231f0b73174ae7de3db9bb867d"},{"sha":"e98340ddae01b4743d23fb287729e8ce890f530e","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(tests/lean/interactive): remove \"interactive\" tests\n\nIn Lean3, we will not use the --server option anymore","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/e98340ddae01b4743d23fb287729e8ce890f530e"},{"sha":"165e2d5b97086211fc913598fefaa7cc56a0a0f9","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(*): fix compilation warnings","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/165e2d5b97086211fc913598fefaa7cc56a0a0f9"}]}
{"actor":{"display_login":"leodemoura"}}