{"push_id":2387291044,"size":70,"distinct_size":3,"ref":"refs/heads/sphinx-doc-infra","head":"8194190ac042d2151bf154c9dda5482d8d6f1a8b","before":"549ab9f5e8d501f5aef8d8f243e6f45651fcf62e","commits":[{"sha":"ac7222c70266ee2b729b81e743adc7076191e6c0","author":{"name":"Tej Chajed","email":"407dbab6d446ed7a7635912097af2063578b5c29@mit.edu"},"message":"Add notation {x & P} for sigT\n\nAnalogous to existing `{x | P}` notation for `sig`, where the type of\n`x` is inferred instead of specified.","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/ac7222c70266ee2b729b81e743adc7076191e6c0"},{"sha":"5968648f9e9db09de462dd8c3530febd66466312","author":{"name":"Jasper Hugunin","email":"f3a4572eff9f2780d92d18153779ec081ed39b08@cs.washington.edu"},"message":"Implement name mangling option","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/5968648f9e9db09de462dd8c3530febd66466312"},{"sha":"6e3f45cf27bea67dd87ed824396a662f904c93e8","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Add String.concat","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/6e3f45cf27bea67dd87ed824396a662f904c93e8"},{"sha":"ae4d4534c81e26cefc822b084028e5487d1964b3","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"appveyor: build non-experimental tasks first","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/ae4d4534c81e26cefc822b084028e5487d1964b3"},{"sha":"f4736ec961706fc7cc6ace99089525a2c24e5138","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"build: win: support for addons","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/f4736ec961706fc7cc6ace99089525a2c24e5138"},{"sha":"2dd05518ade9f19161eb0699db5e5ece34ca29d4","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"build: win: addon bignums","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/2dd05518ade9f19161eb0699db5e5ece34ca29d4"},{"sha":"aadf6f68289f8ec1042c45b3e29610c2da786150","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"build: win: detect 404 as HTML files","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/aadf6f68289f8ec1042c45b3e29610c2da786150"},{"sha":"7aa9b97896c7277c9979d3149fe126793863026e","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"installer: win: put addons in a separate package","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/7aa9b97896c7277c9979d3149fe126793863026e"},{"sha":"34babfdb5f45a04e89f671a21cc632ad127a26d4","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[compat] Remove \"Standard Proposition Elimination\"\n\nFollowing up on #6791, we remove the option \"Standard Proposition Elimination\"","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/34babfdb5f45a04e89f671a21cc632ad127a26d4"},{"sha":"6131f89f6b91c45e641dd877df8719fa77987453","author":{"name":"Théo Zimmermann","email":"3fa00d4c71af9eccbf5ea7d35b947a2540b5774a@univ-paris-diderot.fr"},"message":"Fix typos.","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/6131f89f6b91c45e641dd877df8719fa77987453"},{"sha":"39ec5b14518c35450aa0d9be2ab1012f5bd2f8e3","author":{"name":"Théo Zimmermann","email":"3fa00d4c71af9eccbf5ea7d35b947a2540b5774a@univ-paris-diderot.fr"},"message":"Remove all uses of Focus in standard library.","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/39ec5b14518c35450aa0d9be2ab1012f5bd2f8e3"},{"sha":"5233abd2f876af6b9e5b705b2ab4df8cdb50b12e","author":{"name":"Anton Trunov","email":"b61bb0942648023a51d84f19a08c415720c7bcbb@gmail.com"},"message":"ssr: fix typo in doc comment","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/5233abd2f876af6b9e5b705b2ab4df8cdb50b12e"},{"sha":"d147b10a7fede25214416165b6a6ac10b6b827de","author":{"name":"Anton Trunov","email":"b61bb0942648023a51d84f19a08c415720c7bcbb@gmail.com"},"message":"ssr: add Prenex Implicits for Some_inj to use it as a view","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/d147b10a7fede25214416165b6a6ac10b6b827de"},{"sha":"8d2a0d56f01c907cc0a335fb19d78ee9b8c0c43d","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"configure: make Prefs a record rather than a module of refs\n\nIn this way it is easy to support multiple defaults","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/8d2a0d56f01c907cc0a335fb19d78ee9b8c0c43d"},{"sha":"eefa2cf42a9fe0f9b2fe608fa01002e9a65e7e3f","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"configure: profiles (sets of flags)","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/eefa2cf42a9fe0f9b2fe608fa01002e9a65e7e3f"},{"sha":"8e0140143b8eafe15c0ea64ccccd19abcaf6056b","author":{"name":"Enrico Tassi","email":"a46adc9faf082e84480f72ffaaa22ae593009461@inria.fr"},"message":"configure: -warn-error: now takes a bool so that you can also turn it off","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/8e0140143b8eafe15c0ea64ccccd19abcaf6056b"},{"sha":"dc2dfc86d4e35c0fcb564709dc24c5f2c0135b2a","author":{"name":"Gaëtan Gilbert","email":"5bbfdd0af0dfb2940814c6b5e8e839007e186364@skyskimmer.net"},"message":"Sanitize universe declaration in Context (stop using a ref...)\n\nWhen there is more than one variable to declare we stop trying to\nattach global universes (ie monomorphic or section polymorphic) to one\nof them.","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/dc2dfc86d4e35c0fcb564709dc24c5f2c0135b2a"},{"sha":"ba0a37d773c5d42f96b3b88714767ba2e7fb7a3b","author":{"name":"Théo Zimmermann","email":"3fa00d4c71af9eccbf5ea7d35b947a2540b5774a@univ-paris-diderot.fr"},"message":"Deprecate Focus and Unfocus.","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/ba0a37d773c5d42f96b3b88714767ba2e7fb7a3b"},{"sha":"88f3b5a441a3aaeb637d0b109544fbe71b7560dd","author":{"name":"Gaëtan Gilbert","email":"5bbfdd0af0dfb2940814c6b5e8e839007e186364@skyskimmer.net"},"message":"Allow universe declarations for [with Definition].","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/88f3b5a441a3aaeb637d0b109544fbe71b7560dd"},{"sha":"003031beb002efa703a2f262f9501362d56da720","author":{"name":"Gaëtan Gilbert","email":"5bbfdd0af0dfb2940814c6b5e8e839007e186364@skyskimmer.net"},"message":"CHANGES and tests for with Definition @{univs}","distinct":false,"url":"https://api.github.com/repos/maximedenes/coq/commits/003031beb002efa703a2f262f9501362d56da720"}]}
{"actor":{"display_login":"maximedenes"}}