| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-26 | Credit Erik Martin-Dorel for work on Docker. | Théo Zimmermann | |
| 2020-06-10 | Update changelog for 8.12+beta1. | Théo Zimmermann | |
| 2020-06-09 | Summary of changes for 8.12 | Matthieu Sozeau | |
| Includes fixes to changes by Jim, Enrico and Théo Fix local links, for 8.12 and 8.11 | |||
| 2020-06-06 | Merge PR #12380: Fix #12361 (indexing issues in the PDF) | Théo Zimmermann | |
| Ack-by: Zimmi48 Reviewed-by: jfehrle | |||
| 2020-06-05 | Merge PR #12460: Add remaining 8.12+beta1 changelog entries. | Emilio Jesus Gallego Arias | |
| Reviewed-by: ejgallego | |||
| 2020-06-05 | Add remaining 8.12+beta1 changelog entries. | Théo Zimmermann | |
| 2020-06-05 | Document incompatibility with Sphinx 3. | Théo Zimmermann | |
| Cf. #12332 | |||
| 2020-06-05 | [sphinx] Get rid of anonymous targets (Sphinx 2.3.1 doesn't like them) | Clément Pit-Claudel | |
| https://github.com/sphinx-doc/sphinx/issues/7701 | |||
| 2020-05-27 | Add more changelog entries which have been backported to v8.12. | Théo Zimmermann | |
| 2020-05-27 | [changelog/8.12] Wording improvements. | Théo Zimmermann | |
| 2020-05-27 | [changelog/8.12] Use sections and provide a local TOC. | Théo Zimmermann | |
| 2020-05-27 | [changelog/8.12] Split misc entries out in more relevant sections. | Théo Zimmermann | |
| 2020-05-27 | Changelog entries for the 8.12 changes to the reference manual. | Théo Zimmermann | |
| 2020-05-27 | Release notes for 8.12. | Théo Zimmermann | |
| 2020-05-24 | Fix hyperlinks in changes.rst | Matthew Dempsky | |
| 2020-05-14 | Add a changelog for 8.11.2. | Pierre-Marie Pédrot | |
| 2020-05-01 | Move essential vocabulary and syntax conventions to section on basics. | Théo Zimmermann | |
| 2020-04-28 | Merge PR #11718: Convert syntax extensions chapter to prodn | Théo Zimmermann | |
| Ack-by: JasonGross Ack-by: Zimmi48 Ack-by: cpitclaudel | |||
| 2020-04-27 | Merge PR #12132: [refman] Remove references to omega from Tactics chapter. | Vincent Laporte | |
| Reviewed-by: vbgl | |||
| 2020-04-26 | Convert syntax extensions chapter to prodn | Jim Fehrle | |
| 2020-04-23 | Merge PR #12117: Make multiplication of Cauchy reals transparent and ↵ | Hugo Herbelin | |
| accelerate it Reviewed-by: herbelin | |||
| 2020-04-22 | Document Cauchy reals | Vincent Semeria | |
| 2020-04-20 | [refman] Remove references to omega from Tactics chapter. | Théo Zimmermann | |
| Omega was defined twice and this is the tactics chapter documentation which was refered to from the tactic index. We remove it so that users find the other reference (which contains the deprecation notice). The changes to the doc of zarith are a follow-up to #11976. | |||
| 2020-04-03 | Adding changelog for 8.11.1. | Pierre-Marie Pédrot | |
| 2020-03-28 | Document change of behavior of Fail in 8.11. | Théo Zimmermann | |
| 2020-03-25 | Convert Gallina Extensions to use prodn | Jim Fehrle | |
| 2020-03-24 | Merge PR #11892: [refman] Fix caching, which was broken by the addition of ↵ | Théo Zimmermann | |
| coq_config Reviewed-by: Zimmi48 | |||
| 2020-03-23 | [refman] Fix caching, which was broken by the addition of coq_config | Clément Pit-Claudel | |
| 2020-03-20 | Merge PR #11665: Make Cumulative, NonCumulative and Private attributes. | Pierre-Marie Pédrot | |
| Ack-by: SkySkimmer Reviewed-by: jfehrle Reviewed-by: ppedrot | |||
| 2020-03-19 | Document all the existing attributes. | Théo Zimmermann | |
| And fix documentation following the removal of the Template Check flag in #11546. | |||
| 2020-03-19 | Adapt to sub-TOC not showing in PDF output. | Théo Zimmermann | |
| 2020-01-23 | More minor tweaks to the 8.11 changelog. | Théo Zimmermann | |
| Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com> | |||
| 2020-01-23 | Add missing 'and'. | Théo Zimmermann | |
| Co-Authored-By: Jim Fehrle <jim.fehrle@gmail.com> | |||
| 2020-01-22 | Minor tweaks to the 8.11 changelog. | Théo Zimmermann | |
| 2020-01-22 | Insert changelog entry for #11430 from v8.11 branch. | Théo Zimmermann | |
| 2020-01-22 | Move new entries in 8.11.0 changelog. | Théo Zimmermann | |
| 2020-01-22 | A few edits to the 8.11 section of the Changes chapter. | Théo Zimmermann | |
| - Mention Guillaume Claret among maintainers of the OPAM repository (as suggested by Karl Palmskog). - Update links to the documentation to avoid being outdated. - Mention sections beyond the one on 8.11+beta1. | |||
| 2020-01-22 | Changelog for 8.11.0. | Théo Zimmermann | |
| 2020-01-11 | Merge PR #11349: [refman] [changelog] Announce omega replacement. | Pierre-Marie Pédrot | |
| Ack-by: ejgallego Reviewed-by: maximedenes | |||
| 2020-01-08 | [refman] [changelog] Announce omega replacement. | Théo Zimmermann | |
| 2019-12-27 | docs: Update changes.rst w.r.t. ssrsetoid.v's simplification | Erik Martin-Dorel | |
| 2019-12-02 | List of 8.11 contributors and stats. | Théo Zimmermann | |
| 2019-12-02 | Merge redundant consecutive changelog entries on reals. | Théo Zimmermann | |
| 2019-12-02 | Highlight refine attribute for Instance. | Théo Zimmermann | |
| 2019-12-02 | Warn more clearly about incompatibilities coming from #10476. | Théo Zimmermann | |
| 2019-12-02 | 8.11 release notes. | Matthieu Sozeau | |
| 2019-12-02 | Move unreleased changelog to new 8.11 section. | Théo Zimmermann | |
| 2019-11-28 | Release notes for Coq 8.10.2 | Vincent Laporte | |
| 2019-10-24 | Release notes for Coq 8.10.1 | Vincent Laporte | |
| 2019-10-15 | Merge PR #10854: Fix alphabetical ordering in contributors to 8.10.0. | Clément Pit-Claudel | |
| Ack-by: cpitclaudel Reviewed-by: jfehrle | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |