| Age | Commit message (Expand) | Author |
|---|
| 2020-03-27 | Remove the part about coqdoc from the utilities chapter. | Théo Zimmermann |
| 2020-03-21 | Reorder the load/require cmd-options and set/unset cmd-options | Lasse Blaauwbroek |
| 2020-03-16 | Document coq_makefile behavior wrt -native-compiler yes | Pierre Roux |
| 2020-03-08 | [doc] [dune] Update Dune build instructions | Emilio Jesus Gallego Arias |
| 2020-02-19 | Merge PR #11302: Add --fuzz, --real, --user to timing scripts | Emilio Jesus Gallego Arias |
| 2020-02-14 | Apply suggestions from code review | Jason Gross |
| 2020-02-13 | [coqdep] Remove support for `-c` ocamldep replacement. | Emilio Jesus Gallego Arias |
| 2020-02-11 | Update doc/sphinx/practical-tools/utilities.rst | Jason Gross |
| 2020-02-06 | Apply suggestions from code review | Jason Gross |
| 2020-02-05 | Add --fuzz, --real, --user to timing scripts | Jason Gross |
| 2020-01-29 | [rfc] [mltop] Removal of dynamic loading of object and `.ml` files | Emilio Jesus Gallego Arias |
| 2019-12-12 | Fix #11195 and add other improvements: try loading .vio (and not just .vo) if... | charguer |
| 2019-11-21 | Document -vos flag for coqdep | Gaëtan Gilbert |
| 2019-11-21 | Merge PR #11075: load .vo when .vos is missing + misc vos changes | Emilio Jesus Gallego Arias |
| 2019-11-20 | From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin... | charguer |
| 2019-11-06 | Replace "option" in doc when it refers to a flag | Jim Fehrle |
| 2019-11-01 | Add warnings regarding the experimental nature of the vos feature in the doc. | Pierre-Marie Pédrot |
| 2019-11-01 | fix coq_makefile and doc for vos support. | charguer |
| 2019-11-01 | additional details in the doc for -vos | charguer |
| 2019-11-01 | Implementing support for vos/vok files. | charguer |
| 2019-10-22 | documentation fixes | Antonio Nikishaev |
| 2019-10-13 | Doc update with mlg extension - fix #10855 | mcaci |
| 2019-09-10 | Refman: To be compatible gtk2/gtk3, not mentioning GTK+ version explicitely. | Hugo Herbelin |
| 2019-09-10 | Fixing coqide doc about location of "coqiderc" and "coqide.bindings". | Hugo Herbelin |
| 2019-08-24 | [dune] Migrate static Dune files to Dune 1.10 | Emilio Jesus Gallego Arias |
| 2019-07-26 | Remove the tactic wizard, as it has not worked for several years and no one c... | Guillaume Melquiond |
| 2019-06-08 | Mini fix documentation coqtop in passing. | Hugo Herbelin |
| 2019-06-08 | Documenting new options -require-import, -require-export, etc. | Hugo Herbelin |
| 2019-05-11 | Merge PR #10006: NanoPG: a general fix + fixing Meta-based bindings on MacOS ... | Pierre-Marie Pédrot |
| 2019-05-07 | Added "Recursively" for the R option | Robert Rand |
| 2019-05-07 | Added description of Q | Robert Rand |
| 2019-04-30 | Split changes between main changes and other changes (no repetition). | Théo Zimmermann |
| 2019-04-30 | CoqIDE: updating documentation of the Preference windows. | Hugo Herbelin |
| 2019-04-24 | [coq_makefile] Enforce warn_error for plugins. | Emilio Jesus Gallego Arias |
| 2019-04-16 | Command-line setters for options | Gaëtan Gilbert |
| 2019-04-01 | [doc] Add a note about Dune support to the manual. | Emilio Jesus Gallego Arias |
| 2019-03-18 | fix documentation issues, and add entry to change log | charguer |
| 2019-03-18 | polishing documentation for coqide bindings, following @Zimmi48 comments | charguer |
| 2019-03-18 | final polishing for coqide bindings | charguer |
| 2019-03-18 | documentation for unicode bindings | charguer |
| 2019-02-18 | Sphinx: fail when a command fails | Gaëtan Gilbert |
| 2019-02-12 | Fix failing coqtops in coqide.rst | Gaëtan Gilbert |
| 2019-01-30 | [toplevel] Deprecate the `-compile` flag in favor of `coqc`. | Emilio Jesus Gallego Arias |
| 2018-12-04 | Document undocumented flags and options | Jim Fehrle |
| 2018-10-11 | Documenting -arg in _CoqProject. | Hugo Herbelin |
| 2018-10-02 | [doc] Nits on utilities / toplevel building. | Emilio Jesus Gallego Arias |
| 2018-09-23 | Documentation for proof diffs | Jim Fehrle |
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel |
| 2018-09-20 | [doc] Fix a few LaTeX mistakes | Clément Pit-Claudel |
| 2018-09-11 | building-a-coq-project-with-coq-makefile:fix typos | Jason Gross |
