| Age | Commit message (Expand) | Author |
|---|
| 2020-04-17 | Deprecate “omega” | Vincent Laporte |
| 2020-04-16 | NativeCompute Timing: Use real, not user time | Jason Gross |
| 2020-04-13 | Update syntax of Import / Export in documentation. | Théo Zimmermann |
| 2020-04-13 | doc for partial imports | Gaëtan Gilbert |
| 2020-04-11 | Merge PR #11961: Convert vernac commands chapter to prodn, update syntax | Théo Zimmermann |
| 2020-04-10 | Convert vernac commands chapter to prodn, update syntax | Jim Fehrle |
| 2020-04-09 | Merge PR #11534: Support universe bindings and universe constraints in Let de... | Gaëtan Gilbert |
| 2020-04-08 | Merge PR #12005: Remove deprecated coqtop options | Emilio Jesus Gallego Arias |
| 2020-04-07 | Support universe bindings and universe constraints in Let definitions. | Théo Zimmermann |
| 2020-04-07 | Fix documentation of Print Libraries following #10476. | Théo Zimmermann |
| 2020-04-03 | Split four sections out of the Gallina extensions chapter. | Théo Zimmermann |
| 2020-04-03 | Move section in records in appropriate location (inside core). | Théo Zimmermann |
| 2020-04-03 | Move section on sections in appropriate location (inside core). | Théo Zimmermann |
| 2020-04-03 | Move section on funind in appropriate location (inside libraries). | Théo Zimmermann |
| 2020-04-03 | Move section on implicit arguments in appropriate location (inside extensions). | Théo Zimmermann |
| 2020-04-03 | Extract section on implicit arguments from Gallina extensions. | Théo Zimmermann |
| 2020-04-03 | Extract section on funind from Gallina extensions. | Théo Zimmermann |
| 2020-04-03 | Remove sections on records, sections, funind and implicit arguments from gall... | Théo Zimmermann |
| 2020-04-03 | Extract section on sections from Gallina extensions. | Théo Zimmermann |
| 2020-04-03 | Extract section on records from Gallina extensions. | Théo Zimmermann |
| 2020-04-03 | Adding changelog for 8.11.1. | Pierre-Marie Pédrot |
| 2020-04-02 | Merge PR #11869: Add an index for attributes. | Clément Pit-Claudel |
| 2020-04-02 | Document -rfrom option in reference manual. | Théo Zimmermann |
| 2020-04-02 | Remove deprecated -require option. | Théo Zimmermann |
| 2020-04-01 | Merge PR #10592: coqdoc: Add a new `details' environment for coqdoc | Lysxia |
| 2020-03-29 | Merge PR #11859: Warn when non exactly parsing non floating-point | Hugo Herbelin |
| 2020-03-29 | Merge PR #11944: Remove SearchAbout command, deprecated in 8.5 | Théo Zimmermann |
| 2020-03-28 | Remove SearchAbout command, deprecated in 8.5 | Jim Fehrle |
| 2020-03-28 | Document change of behavior of Fail in 8.11. | Théo Zimmermann |
| 2020-03-28 | coqdoc: Add (* begin details *) and (* end details *) | Thomas Letan |
| 2020-03-27 | Split coqdoc section out of utility chapter (octopus merge). | Théo Zimmermann |
| 2020-03-27 | Move section on coqdoc to new location. | Théo Zimmermann |
| 2020-03-27 | Remove the part about coqdoc from the utilities chapter. | Théo Zimmermann |
| 2020-03-27 | Prepare split of section about coqdoc. | Théo Zimmermann |
| 2020-03-26 | Merge PR #11929: Reintroduce a command that was actually used in another one.... | Clément Pit-Claudel |
| 2020-03-26 | Reintroduce commands that were actually used. Fix build of PDF manual. | Théo Zimmermann |
| 2020-03-26 | Merge PR #11877: Removing deprecated destruct/remember syntax _eqn. | Théo Zimmermann |
| 2020-03-26 | CIC is printed in all-caps. | Théo Zimmermann |
| 2020-03-26 | Removing deprecated destruct syntax _eqn. | Hugo Herbelin |
| 2020-03-26 | Shrink refman-prelude files. | Théo Zimmermann |
| 2020-03-26 | Remove outdated mention of -allow-sprop. | Théo Zimmermann |
| 2020-03-26 | Print a warning when parsing non floating-point values. | Pierre Roux |
| 2020-03-25 | Doc_grammar: Update cmd:: and tacn:: constructs in .rsts | Jim Fehrle |
| 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 co... | Théo Zimmermann |
| 2020-03-23 | [refman] Fix caching, which was broken by the addition of coq_config | Clément Pit-Claudel |
| 2020-03-21 | Reorder the load/require cmd-options and set/unset cmd-options | Lasse Blaauwbroek |
| 2020-03-20 | Add an index for attributes. | Théo Zimmermann |
| 2020-03-20 | Merge PR #11665: Make Cumulative, NonCumulative and Private attributes. | Pierre-Marie Pédrot |
| 2020-03-20 | Merge PR #11814: Document coq_makefile behavior wrt -native-compiler yes | Enrico Tassi |
