{"push_id":1011124240,"size":5,"distinct_size":4,"ref":"refs/heads/master","head":"60dcd96a3efaff3cde5d11873ff82669d8dbe993","before":"84e3373e401fba65e5be74771ff5b443b34361e0","commits":[{"sha":"16991280fb09743ae7320aef77f6a166afb907d7","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"Highlight ltac:(), constr:(), and uconstr:()\n\nAlso refactor coq-font-lock-keywords-1 slightly.","distinct":false,"url":"https://api.github.com/repos/abella-prover/PG/commits/16991280fb09743ae7320aef77f6a166afb907d7"},{"sha":"29ed26c5e3fb7ee1e4b284b0b2ce6dd782fc288b","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Small fix for -Q options in loadpath.","distinct":true,"url":"https://api.github.com/repos/abella-prover/PG/commits/29ed26c5e3fb7ee1e4b284b0b2ce6dd782fc288b"},{"sha":"d3c83c337ed14151c6b532472e42f650dd319b2b","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Should fix #49 and #55 (compilation of From .. Require).","distinct":true,"url":"https://api.github.com/repos/abella-prover/PG/commits/d3c83c337ed14151c6b532472e42f650dd319b2b"},{"sha":"0443734841b337b3695de02275b1a2500931358b","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Avoiding useless computation in indentation code.","distinct":true,"url":"https://api.github.com/repos/abella-prover/PG/commits/0443734841b337b3695de02275b1a2500931358b"},{"sha":"60dcd96a3efaff3cde5d11873ff82669d8dbe993","author":{"email":"6dba231d870e70fc5620e331351fe3f0080f1006@cnam.fr","name":"Pierre Courtieu"},"message":"Fixing #62.\n\nI don't know if it is a coq bug that bullet do not support Time. I\nremove Time from bullets for the moment.","distinct":true,"url":"https://api.github.com/repos/abella-prover/PG/commits/60dcd96a3efaff3cde5d11873ff82669d8dbe993"}]}