| Age | Commit message (Expand) | Author |
|---|
| 2019-02-01 | Merge PR #8062: Add Z.div_mod_to_quot_rem tactic, put it in zify | Vincent Laporte |
| 2019-01-30 | [toplevel] Deprecate the `-compile` flag in favor of `coqc`. | Emilio Jesus Gallego Arias |
| 2019-01-24 | Rename Z.div_mod_to_quot_rem, add Z.quot_rem_to_equations, Z.to_euclidean_div... | Jason Gross |
| 2019-01-24 | Revert "Add subst to the end of nia in the test-suite" | Jason Gross |
| 2019-01-24 | Add subst to the end of nia in the test-suite | Jason Gross |
| 2019-01-24 | Don't bundle Z.div_mod_quot_rem into zify | Jason Gross |
| 2019-01-24 | Add Z.div_mod_to_quot_rem tactic, put it in zify | Jason Gross |
| 2019-01-22 | Remove unneeded | in productionlists | Jim Fehrle |
| 2018-12-04 | Add undocumented options from mattam82 | Jim Fehrle |
| 2018-12-04 | Document undocumented flags and options | Jim Fehrle |
| 2018-12-03 | A few fixes of unexisting tokens. | Théo Zimmermann |
| 2018-12-03 | Closes #9118: single backticks are made equivalent to double backticks; try t... | Théo Zimmermann |
| 2018-11-30 | Add indexes for coercion / substructure symbol :>. | Théo Zimmermann |
| 2018-11-28 | Merge PR #9015: [Typeclasses] Warn when RHS of `:>` is not a class | Matthieu Sozeau |
| 2018-11-27 | Merge PR #8850: Private universes for opaque polymorphic constants. | Matthieu Sozeau |
| 2018-11-27 | [Typeclasses] Warn when RHS of `:>` is not a class | Vincent Laporte |
| 2018-11-25 | Merge PR #9036: Add bodies to sphinx objects. | Clément Pit-Claudel |
| 2018-11-23 | Doc for Private Polymorphic Universes. | Gaëtan Gilbert |
| 2018-11-21 | [sphinx] Progress towards closing #7602: remove most objects without a body. | Théo Zimmermann |
| 2018-11-19 | Minor update to micromega.rst | soraros |
| 2018-10-09 | Refactoring of Micromega code using a Simplex linear solver | Frédéric Besson |
| 2018-09-25 | Remove romega | Vincent Laporte |
| 2018-09-20 | Rewrite "Flags, Options and Tables" section. | Jim Fehrle |
| 2018-09-20 | [doc] Fix a few syntax highlighting issues | Clément Pit-Claudel |
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel |
| 2018-09-20 | [doc] Remove an empty '.. bibliography::' in addendum/program | Clément Pit-Claudel |
| 2018-09-11 | Merge PR #8425: Deprecate romega in favor of lia | Pierre-Marie Pédrot |
| 2018-09-10 | Merge PR #8104: Warnings on coercions used without being Imported | Enrico Tassi |
| 2018-09-10 | Deprecate romega in favor of lia. | Vincent Laporte |
| 2018-09-07 | Recover lost snippet | Matěj G |
| 2018-09-07 | Warnings on coercions used without being Imported | Maxime Dénès |
| 2018-08-31 | Fixed the seealso directive in a few places. | Zeimer |
| 2018-08-31 | Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc... | Zeimer |
| 2018-08-03 | Fix docs on arguments to setoid_replace. Fixes #8213 | Langston Barrett |
| 2018-08-02 | Merge PR #8145: Improved grammar and spelling in chapter 'Extended pattern ma... | Théo Zimmermann |
| 2018-08-02 | Merge PR #8176: Improved grammar and spelling in chapters 'Type Classes', 'Om... | Théo Zimmermann |
| 2018-08-01 | Added a tactic index entry for nsatz, reformatted commands in chapter 'Genera... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in the remaining chapters of the Reference Manual. | Zeimer |
| 2018-08-01 | Improved grammar and spelling in chapter 'Extended pattern matching' of the R... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm... | Zeimer |
| 2018-08-01 | Merge PR #8192: Fix typos and typesetting of doc on Program | Théo Zimmermann |
| 2018-08-01 | Merge PR #8184: Improved grammar and spelling in chapters 'Extraction', 'Prog... | Théo Zimmermann |
| 2018-07-30 | Fix typos and typesetting of doc on Program | Lysxia |
| 2018-07-30 | [sphinx] Use arguments of '.. example::' directive as a title | Clément Pit-Claudel |
| 2018-07-29 | Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a... | Zeimer |
| 2018-07-26 | Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Refe... | Zeimer |
| 2018-07-17 | Remove fourier plugin | Maxime Dénès |
| 2018-06-25 | Merge PR #7559: Existing Class noop when already a class + warning. | Matthieu Sozeau |
| 2018-06-19 | [doc] Use productionlist instead of prodn in ring.rst | Clément Pit-Claudel |
| 2018-06-13 | doc: fix typo. | whitequark |
