{"push_id":2899174606,"size":60,"distinct_size":60,"ref":"refs/heads/master","head":"e186109404b665d79bf441f8d1ccee39cc76b165","before":"df1f5bcd406a87c77601942f21d16555a8f6086e","commits":[{"sha":"f5e33af81f56253ba777cde96831ef23f25addba","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"Zify: replace local definitions by equations","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/f5e33af81f56253ba777cde96831ef23f25addba"},{"sha":"69339f8fcfe3e5f3fa1c58feba6b0740c7e86538","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Fix #7754: universe declarations on mutual inductives","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/69339f8fcfe3e5f3fa1c58feba6b0740c7e86538"},{"sha":"a597bb33eb9b3c9d70422d72e89bcbda90896ddb","author":{"name":"Nick Lewycky","email":"3b9de09f2ff76afe9f0ad4fcae4ff68f52ec7fc4@mxc.ca"},"message":"Move tests in bugs/ to the bugs/closed/.","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/a597bb33eb9b3c9d70422d72e89bcbda90896ddb"},{"sha":"ddc4391be1214ea4d929ba0a8737be4eda6b87ad","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Fix a typo in coqdomain.py","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/ddc4391be1214ea4d929ba0a8737be4eda6b87ad"},{"sha":"33fbebc97e9bc399511661bfecc54d92f6ad9a8a","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Move the LaTeX preamble to a separate .tex file","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/33fbebc97e9bc399511661bfecc54d92f6ad9a8a"},{"sha":"47bd6c3de6e8e2e8cdaf049ba95934ad4d0af4f7","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Adjust conf.py to allow LaTeX builds","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/47bd6c3de6e8e2e8cdaf049ba95934ad4d0af4f7"},{"sha":"ad7dda30d651f259304a2efdcc84519ae6542bb7","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Explain why zebibliography needs to be separate and oddly-named","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/ad7dda30d651f259304a2efdcc84519ae6542bb7"},{"sha":"6146def665803be4f37eedee0d81b2f807e1b3f7","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Remove an empty '.. bibliography::' in addendum/program","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/6146def665803be4f37eedee0d81b2f807e1b3f7"},{"sha":"dc4fc036cd361fe0d2943039e75570cf08a90868","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Create a separate index file for the LaTeX build\n\nSee https://github.com/sphinx-doc/sphinx/issues/4977 for context.","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/dc4fc036cd361fe0d2943039e75570cf08a90868"},{"sha":"7eced434fb9ceafc2d6e248aa5e49bbd6cd2e1fa","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Create a separate zebibliography file for the LaTeX build\n\n`.. bibliography::` puts the bibliography on its own page with its own title in\nLaTeX, but includes it inline without a title in HTML [1], so we need to\nmaintain two separate copies of zebibliography.rst\n\n[1] https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#mismatch-between-output-of-html-and-latex-backends","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/7eced434fb9ceafc2d6e248aa5e49bbd6cd2e1fa"},{"sha":"b627c7242d71c834e7a06353ced967c43598e344","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Create a wrapper around the Credits file for the LaTeX build","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/b627c7242d71c834e7a06353ced967c43598e344"},{"sha":"a63bc54bfd697e76182044a8515818fa8f92e849","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Fix a few LaTeX mistakes","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/a63bc54bfd697e76182044a8515818fa8f92e849"},{"sha":"838ba44a2e5dc7e2dd152ef10eb0c12096bd568c","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Add env_version to metadata of coqrst plugin\n\nThis is required by Sphinx 8.0.  See\nhttps://github.com/sphinx-doc/sphinx/issues/4460.","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/838ba44a2e5dc7e2dd152ef10eb0c12096bd568c"},{"sha":"4217ddb700d998e4b57d5e8485380ef9cc16db13","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Improve rendering of Coq objects in PDF output","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/4217ddb700d998e4b57d5e8485380ef9cc16db13"},{"sha":"b3dadd37aa1a9ca8c6be377edb46832b4f3b7256","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Include the rst and LaTeX preambles automatically in all files","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/b3dadd37aa1a9ca8c6be377edb46832b4f3b7256"},{"sha":"d9209353ced1b6ba23cb18e6b4d8e8f9c0c20d92","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Fix a typo in the developer guide","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/d9209353ced1b6ba23cb18e6b4d8e8f9c0c20d92"},{"sha":"a5586852cca4a8a9b57506fd2ea09438bd5bda2e","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Work around https://github.com/sphinx-doc/sphinx/issues/4980","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/a5586852cca4a8a9b57506fd2ea09438bd5bda2e"},{"sha":"48662f95c63a02d90630941aace96e7b44dcc247","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Ensure that merging coqtop blocks preserves anchors","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/48662f95c63a02d90630941aace96e7b44dcc247"},{"sha":"468815006f1c272a6ada7186186f90a6692d2521","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Work around https://github.com/sphinx-doc/sphinx/issues/4979","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/468815006f1c272a6ada7186186f90a6692d2521"},{"sha":"a249f94d00c64157631fe2517d317dd75ebeff88","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"[doc] Add a warning about overusing the `coqtop` directive","distinct":true,"url":"https://api.github.com/repos/nlewycky/coq/commits/a249f94d00c64157631fe2517d317dd75ebeff88"}]}
{"actor":{"display_login":"nlewycky"}}