| Age | Commit message (Expand) | Author |
|---|
| 2018-07-24 | Fix #8119: anomalies in vm_compute with let and evars. | Pierre-Marie Pédrot |
| 2018-07-24 | Add combinators to drop the bodies of local declarations. | Pierre-Marie Pédrot |
| 2018-07-24 | Merge PR #8040: [ci] Enable native compiler in `egde:flambda` build. | Gaëtan Gilbert |
| 2018-07-24 | [ci] Enable native compiler in `egde:flambda` build. | Emilio Jesus Gallego Arias |
| 2018-07-24 | Merge PR #6801: Highlight differences between successive proof steps (color, ... | Emilio Jesus Gallego Arias |
| 2018-07-24 | Merge PR #8083: Add test for repeated section with same name | Théo Zimmermann |
| 2018-07-24 | Merge PR #8000: Fix #7854: Native compilation + flambda trigger SEGFAULT. | Maxime Dénès |
| 2018-07-24 | Merge PR #6597: Binary, Octal, and Hex conversions between [positive], [Z], [... | Hugo Herbelin |
| 2018-07-23 | Make tokenize_string an optional parameter for diff methods in pp_diffs. | Jim Fehrle |
| 2018-07-23 | Displays the differences between successive proof steps in coqtop and CoqIDE. | Jim Fehrle |
| 2018-07-23 | Add test for repeated section with same name | Jasper Hugunin |
| 2018-07-23 | Make the out_channel for the log file accessible so tests can write to it (e.... | Jim Fehrle |
| 2018-07-23 | Generate more compact escape sequences by | Jim |
| 2018-07-22 | Merge PR #8095: Improvements for the chapter 'Detailed examples of tactics' o... | Théo Zimmermann |
| 2018-07-21 | Solved problems with snippets giving errors in chapter 'Detailed examples of ... | Zeimer |
| 2018-07-21 | Rewrote examples about permutations, logic and type isomorphisms: changed the... | Zeimer |
| 2018-07-21 | Improvements for the chapter 'Detailed examples of tactics' of the Reference ... | Zeimer |
| 2018-07-21 | Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an... | Théo Zimmermann |
| 2018-07-21 | Merge PR #8086: Improved chapter 'The tactic language' of the Reference Manual. | Théo Zimmermann |
| 2018-07-20 | Small improvements suggested in comments to PR #8086. | Zeimer |
| 2018-07-20 | Improved chapter 'The tactic language' of the Reference Manual. | Zeimer |
| 2018-07-20 | Added :undocumented: and :cmd: as suggested in comments for PR #8072. | Zeimer |
| 2018-07-20 | Fixed many spelling and grammar errors in the chapters 'Vernacular commands',... | Zeimer |
| 2018-07-20 | Merge PR #8037: Export a function to apply toplevel tactic values in Tacinterp. | Enrico Tassi |
| 2018-07-20 | Merge PR #8089: Remove declare_object for SsrHave NoTCResolution. | Enrico Tassi |
| 2018-07-20 | Merge PR #8070: Fixed some typos and grammar errors from section 'The languag... | Théo Zimmermann |
| 2018-07-19 | Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o... | Zeimer |
| 2018-07-19 | Fixed some typos and grammar errors from section 'The language' of the Refere... | Zeimer |
| 2018-07-19 | Merge PR #7941: Extend QuestionMark to produce a better error message in case... | Pierre-Marie Pédrot |
| 2018-07-19 | Remove declare_object for SsrHave NoTCResolution. | Maxime Dénès |
| 2018-07-18 | Merge PR #8054: [dev] Autogenerate OCaml dev files. | Enrico Tassi |
| 2018-07-18 | Merge PR #7897: Remove fourier plugin | Enrico Tassi |
| 2018-07-18 | Merge PR #8068: [build] Build Coq and plugins with `-strict-sequence` | Enrico Tassi |
| 2018-07-18 | Merge PR #8060: Remove useless libobject in proof_using | Enrico Tassi |
| 2018-07-17 | Merge PR #8055: Fast accumulator check in native compilation | Maxime Dénès |
| 2018-07-17 | Remove fourier plugin | Maxime Dénès |
| 2018-07-17 | change into QuestionMark default | Siddharth Bhat |
| 2018-07-17 | Add overlay for Coq-Equations for QuestionMark. | Siddharth Bhat |
| 2018-07-17 | Change QuestionMark for better record field missing error message. | Siddharth Bhat |
| 2018-07-16 | Merge PR #8069: Only check overlay extensions on git-tracked files | Gaëtan Gilbert |
| 2018-07-16 | bin,oct,hex conversions positive,Z,N,nat<->string | Jason Gross |
| 2018-07-16 | Only check overlay extensions on git-tracked files | Jason Gross |
| 2018-07-16 | Merge PR #8023: Introduce a team of code owners for the CI system. | Maxime Dénès |
| 2018-07-16 | Merge PR #8066: [ltac] Remove unused functions. | Pierre-Marie Pédrot |
| 2018-07-14 | [build] Build Coq and plugins with `-strict-sequence` | Emilio Jesus Gallego Arias |
| 2018-07-14 | [ltac] Remove unused functions / constructors. | Emilio Jesus Gallego Arias |
| 2018-07-13 | Merge PR #8057: Fixed typos, wording and grammar errors in the Preamble of th... | Théo Zimmermann |
| 2018-07-13 | Remove useless libobject in proof_using | Maxime Dénès |
| 2018-07-13 | Merge PR #6930: Make -warn-error fail on warnings emitted by coqc on stdlib. | Emilio Jesus Gallego Arias |
| 2018-07-13 | Make -warn-error fail on warnings emitted by coqc on stdlib. | Maxime Dénès |
