{"push_id":2905601025,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"767d01f6a32b7eb1badd639650fe1ae2a81c3d11","before":"1624fdddeb6078621a5741927491d07a8219607c","commits":[{"sha":"44e9654d053b72931866d61b859ba831982c14fd","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Fix GH-8529: wrap macro definitions in math delimiters for MathJax","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/44e9654d053b72931866d61b859ba831982c14fd"},{"sha":"846a303c84703da076dfca2e2b1a9bbb70dc697a","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Change Sphinx project title back to \"Coq\"\n\nUse 'The Coq Reference Manual' only in LaTeX.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/846a303c84703da076dfca2e2b1a9bbb70dc697a"},{"sha":"621d1071edd2f243d70c21c1a8f1706325a172eb","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Rename credits-wrapper to credits and credits to credits-contents\n\nThis ensures that previous links to 'credits.html' still point to the right page.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/621d1071edd2f243d70c21c1a8f1706325a172eb"},{"sha":"edd0ede5ac057f6a7296351f608f162cd8b0a32b","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Fix title of Introduction chapter in HTML version.\n\nAnd location of footnote.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/edd0ede5ac057f6a7296351f608f162cd8b0a32b"},{"sha":"e14757c3779b81a4362a0a88941439adeecdd284","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Fix Sphinx manual targets.\n\nNew targets refman, refman-html and refman-pdf.\nsphinx keeps its previous meaning (compatibility alias for refman-html).\ninstall-doc-sphinx has been accidentally renamed.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/e14757c3779b81a4362a0a88941439adeecdd284"},{"sha":"767d01f6a32b7eb1badd639650fe1ae2a81c3d11","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Merge PR #8549: Fix issues introduced by the PDF manual merge","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/767d01f6a32b7eb1badd639650fe1ae2a81c3d11"}]}
{"actor":{"display_login":"Zimmi48"}}