{"push_id":573596030,"size":5,"distinct_size":3,"ref":"refs/heads/hott-renaming","head":"7a12e9b327320f9a76795959ea6155e2477d4b73","before":"63bf616a947aad2c72a15f5acfdea0be88c70997","commits":[{"sha":"7d60213d9a4588121adfe82137c8b5eaf00708ae","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(src/emacs/lean-syntax.el): add syntax highlighting for [abbreviations]","distinct":false,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/7d60213d9a4588121adfe82137c8b5eaf00708ae"},{"sha":"f53a956a28b8a24263cf72fc956e74166a98c998","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(doc/lean/expr): remove obsolete documentation\n\nIt is subsumed by the Lean tutorial.\n\ncloses #431","distinct":false,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/f53a956a28b8a24263cf72fc956e74166a98c998"},{"sha":"84caa0353a4cc61ff372e9cb4465182a01acdd25","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"Renaming HoTT library (and some other stuff)","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/84caa0353a4cc61ff372e9cb4465182a01acdd25"},{"sha":"ae4a8679538f95a047ad649721fab955a9d1b1b8","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"fix renamings as discussed with Jeremy","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/ae4a8679538f95a047ad649721fab955a9d1b1b8"},{"sha":"7a12e9b327320f9a76795959ea6155e2477d4b73","author":{"email":"240eaf9b7dd8bf34824fa6213c6ea24402f09b79@andrew.cmu.edu","name":"Floris van Doorn"},"message":"add characterization of paths","distinct":true,"url":"https://api.github.com/repos/fpvandoorn/lean/commits/7a12e9b327320f9a76795959ea6155e2477d4b73"}]}