{"push_id":618748878,"size":67,"distinct_size":2,"ref":"refs/heads/trunk","head":"aeec29a177e8f1c89996c0449e4cd81ca3ca4377","before":"690ac9fe35ff153a2348b64984817cb37b7764e4","commits":[{"sha":"45f437c6331f2e331f227e3ebba2d2ef44142151","author":{"email":"c63d1979b532353276397aa5804f4b3298454d39@ens-lyon.org","name":"Pierre Boutillier"},"message":"Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesign","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/45f437c6331f2e331f227e3ebba2d2ef44142151"},{"sha":"a023acc4c1a1cea2ef7751c1a65bba1cafaaeadf","author":{"email":"c63d1979b532353276397aa5804f4b3298454d39@ens-lyon.org","name":"Pierre Boutillier"},"message":"Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/a023acc4c1a1cea2ef7751c1a65bba1cafaaeadf"},{"sha":"1710356cdac3e968d678b75abb52d78a58b63e07","author":{"email":"c63d1979b532353276397aa5804f4b3298454d39@ens-lyon.org","name":"Pierre Boutillier"},"message":"End of Bug 3986 - make cleanall removes .*.aux files","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/1710356cdac3e968d678b75abb52d78a58b63e07"},{"sha":"e46afc2f884d3527c5a9826012b4ec7a58a43661","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"STM: -quick: async no Proof using but no Section (#4124)\n\nAs happens in interactive mode.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/e46afc2f884d3527c5a9826012b4ec7a58a43661"},{"sha":"1b3759e78f227eb85a128c58b8ce8c11509dd8c3","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"STM: -debug: better explanation of why not async (#4125)","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/1b3759e78f227eb85a128c58b8ce8c11509dd8c3"},{"sha":"47db517c0a3a551b28754110bdac30fb972d700a","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Adding a primitive to dump the current association table of dynamic types.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/47db517c0a3a551b28754110bdac30fb972d700a"},{"sha":"b8c8c115ef827cfaaff933abb64e1882497a30b5","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Gitattributes file added to generate archive.\n\nCherry-picked from v8.4 ( c1aabb104122ead02fa289339a42815373338222 ).","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/b8c8c115ef827cfaaff933abb64e1882497a30b5"},{"sha":"c8d143654489d9ae7295095a9e5e17cf89118b7a","author":{"email":"1a340065606634b575ed162e9c434c27fe24a7c3@spiwack.net","name":"Arnaud Spiwack"},"message":"gitattributes: add `.mailmap` file to the list of files excluded from the `.tar.gz`.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/c8d143654489d9ae7295095a9e5e17cf89118b7a"},{"sha":"1cc84ee8e98c59c685215c938c0bd123a6034b8f","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"More invariants in Library.\n\nWe explicit the fact that we only need the name of the library in most of the\nsummaries.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/1cc84ee8e98c59c685215c938c0bd123a6034b8f"},{"sha":"4d95eb4e878f375a69f1b48d8833801bf555fdd0","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Removing the whole library content from the summary.\n\nIt is still present in the libstack, though.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/4d95eb4e878f375a69f1b48d8833801bf555fdd0"},{"sha":"adb721441e9ff9bf7cdb1b4603628d95ca1f016a","author":{"email":"ac29333de02e6393d1304388a3accb7dd81e38d4@inria.fr","name":"Matthieu Sozeau"},"message":"Add function to fix the non-substituted universe variables of an evar_map.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/adb721441e9ff9bf7cdb1b4603628d95ca1f016a"},{"sha":"623a0e9bc07f19dacd8a25c33ebf1e68d9b3be30","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"Fixing internal representation of Dyn.t in votour.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/623a0e9bc07f19dacd8a25c33ebf1e68d9b3be30"},{"sha":"8eeef779da833c28e4955f71ec95077138dcb71f","author":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","name":"Daniel R. Grayson"},"message":"add -type-in-type to the usage message","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/8eeef779da833c28e4955f71ec95077138dcb71f"},{"sha":"0699adb9d3385b94077a51b5b6ddbd74ec45f6b9","author":{"email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr","name":"Pierre-Marie Pédrot"},"message":"More sharing in module substitution.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/0699adb9d3385b94077a51b5b6ddbd74ec45f6b9"},{"sha":"364ea0c9d57df647af4f207d69eee002b2f8073e","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Fixed #4138. In emacs mode Set/Unset does not print the goal anymore.\n\nIn PG there are shortcuts that perform on the fly \"Set Printing\nAll\"/\"Unset Printing All\" in pg. For example if you type C-u before\nsome shortcut for print (check/About/Show), it performs:\n\nSet Printing All.\nPrint foo.\nUnset Printing All.\n\nBut if the \"Unset\" prints a goal, then pg interprets the output of\nPrint as a command applied on a previous line, and thus hides it.\n\nSo for emacs mode I would prefer no goal printing when options are\nset/unset. In the situation where this should be done (when setting\ndurably the option probably), I'd rather program a \"Show\" explicitely.","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/364ea0c9d57df647af4f207d69eee002b2f8073e"},{"sha":"58521e6066974833bb83e98a6bb17feb0c1fee90","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Do not revert parameter lists when extracting singleton types to Haskell. (Fix for bugs #3470 and #3694)","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/58521e6066974833bb83e98a6bb17feb0c1fee90"},{"sha":"21771adc7454ae186823b3f30d43c2fb80d70fc2","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Properly capitalize filenames when extracting to Haskell. (Fix for bug #3221)","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/21771adc7454ae186823b3f30d43c2fb80d70fc2"},{"sha":"84c2433aef0b3c2d3b8a9106d8c4f0e02891f4ed","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Avoid segfault from code extracted to ghc. (Fix for bug #1257)","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/84c2433aef0b3c2d3b8a9106d8c4f0e02891f4ed"},{"sha":"c2d165e1ccfde9166b262b3fbcd9c648aef26528","author":{"email":"43f1ac15e1612ec31474d70389158936df20a6d4@inria.fr","name":"Guillaume Melquiond"},"message":"Index MMaps files, otherwise documentation cannot be built. (Fix for bug #4107)","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/c2d165e1ccfde9166b262b3fbcd9c648aef26528"},{"sha":"c6e628b75a549ade8b1133fdea9101f49ca4f991","author":{"email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr","name":"Enrico Tassi"},"message":"typo","distinct":false,"url":"https://api.github.com/repos/aspiwack/coq/commits/c6e628b75a549ade8b1133fdea9101f49ca4f991"}]}