| Age | Commit message (Expand) | Author |
|---|
| 2021-01-01 | Merge PR #13470: Convert rewriting and proof-mode chapters to prodn | coqbot-app[bot] |
| 2020-12-30 | Convert rewriting and proof-mode chapters to prodn | Jim Fehrle |
| 2020-12-29 | Document the -native-compiler option | Pierre Roux |
| 2020-11-18 | Update doc/sphinx/practical-tools/utilities.rst | Hugo Herbelin |
| 2020-11-11 | We move the example of Makefile wrapper next to the explanations about CoqMak... | Hugo Herbelin |
| 2020-11-09 | [refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina. | Théo Zimmermann |
| 2020-10-20 | Add some missing smallcaps. | Théo Zimmermann |
| 2020-08-25 | Documentation of coq_makefile: fix name of installation dir + help on option -f. | Hugo Herbelin |
| 2020-08-04 | Document "Print Debug GC" command and OCAMLRUNPARAM env variable | Jim Fehrle |
| 2020-06-26 | Mention VSCoq with respect to _CoqProject | Carl Patenaude-Poulin |
| 2020-06-08 | Convert Ltac chapter to prodn | Jim Fehrle |
| 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 |
