| Age | Commit message (Expand) | Author |
|---|
| 2020-05-27 | Promoting COQLIBINSTALL and COQDOCINSTALL in coq_makefile to the parameters s... | Martin Bodin |
| 2020-05-14 | Merge PR #12097: Interleave commandline require/set/unset commands | Emilio Jesus Gallego Arias |
| 2020-05-13 | Document the changes regarding the order of command-line options. | Théo Zimmermann |
| 2020-05-12 | Remove documentation of -compile, which was removed in #8690. | Théo Zimmermann |
| 2020-05-01 | Move essential vocabulary and syntax conventions to section on basics. | Théo Zimmermann |
| 2020-04-29 | Merge PR #11606: [tools] Add memory stats to tables by default | Emilio Jesus Gallego Arias |
| 2020-04-28 | Merge PR #11718: Convert syntax extensions chapter to prodn | Théo Zimmermann |
| 2020-04-27 | Merge PR #12090: Remove documentation for Hide menu in CoqIDE (was removed in... | Clément Pit-Claudel |
| 2020-04-26 | Convert syntax extensions chapter to prodn | Jim Fehrle |
| 2020-04-24 | Add memory stats to tables by default | Jason Gross |
| 2020-04-20 | TIMEFMT: Display the output file name | Jason Gross |
| 2020-04-19 | CoqIDE: Adding a short documentation on style/theme customization. | Hugo Herbelin |
| 2020-04-13 | Remove documentation for Hide menu in CoqIDE (was removed in 8.5). | Théo Zimmermann |
| 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-02 | Document -rfrom option in reference manual. | Théo Zimmermann |
| 2020-04-02 | Remove deprecated -require option. | Théo Zimmermann |
| 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 |
