coq/doc/changelog/07-commands-and-options, branch master The formal proof system Clarify changelog categories. 2020-12-11T09:02:30+00:00 Théo Zimmermann 2020-12-11T09:02:27+00:00 1605ae821f151f1e4b4edab9a0dded02cb91eebf For readers of the changelog: title "Tools" become "Command-line tools". For developers: changelog categories 07 and 08 are disambiguated. 
For readers of the changelog: title "Tools" become "Command-line tools".
For developers: changelog categories 07 and 08 are disambiguated.
Merge PR #13556: Fix spelling in warning entry 2020-12-07T11:16:30+00:00 coqbot-app[bot] 2020-12-07T11:16:30+00:00 bfd3dac173db73b3eae07df27ec5d307c635afa0 Reviewed-by: Zimmi48 Ack-by: jfehrle 
Reviewed-by: Zimmi48
Ack-by: jfehrle
Fix spelling in warning entry 2020-12-06T06:41:31+00:00 Simon Friis Vindum 2020-12-03T09:44:06+00:00 a996fb740fa26d899e83a62324f12f62b17c0bc9 






[changelog] update markup
2020-12-03T15:03:37+00:00

Enrico Tassi

2020-11-30T09:03:47+00:00

c8fc6b8f0d357b01f919b8346f45d0bd020f4fe2












Changes for Coq 8.13
2020-12-03T15:03:37+00:00

Matthieu Sozeau

2020-11-30T16:12:37+00:00

3c4d2c9e3b7100a0012ad06b33b46fe7dca6cd29












Add changelog
2020-11-20T18:08:08+00:00

Pierre Roux

2020-11-15T11:26:54+00:00

c95512bc5716fc477948ae5e4947afe9dca2976d












Merge PR #13040: [gc] Set GC policy as best-fit in OCaml >= 4.10.0
2020-11-16T16:52:04+00:00

coqbot-app[bot]

2020-11-16T16:52:04+00:00

29dc0d5b8951bb467bb2cc473a90e8feaadbb9b8

Reviewed-by: gares
Reviewed-by: ppedrot





Reviewed-by: gares
Reviewed-by: ppedrot







Merge PR #13384: Warn on hints without an explicit locality
2020-11-16T16:26:41+00:00

coqbot-app[bot]

2020-11-16T16:26:41+00:00

af96434d2991b9f01f6cd3963ed114b57e40792f

Reviewed-by: Zimmi48





Reviewed-by: Zimmi48







[gc] Set GC policy as best-fit in OCaml >= 4.10.0
2020-11-16T14:44:42+00:00

Emilio Jesus Gallego Arias

2020-09-16T20:20:13+00:00

6a6069d55f0be157ff177150594fabcbc4b1f283

Closes #11277 ; the `space_overhead` parameter has been selected for
maximum speedup, in some cases it could also increase memory
consumption. Please use `OCAMLRUNPARAM` to tune it and report back
your experiments.





Closes #11277 ; the `space_overhead` parameter has been selected for
maximum speedup, in some cases it could also increase memory
consumption. Please use `OCAMLRUNPARAM` to tune it and report back
your experiments.







Merge PR #12516: Deprecate `Grab Existential Variables` and `Existential` commands
2020-11-16T12:15:10+00:00

Pierre-Marie Pédrot

2020-11-16T12:15:10+00:00

8b156dc5a21279bdc49aea36aa1f410b08d32d9d

Reviewed-by: Zimmi48
Reviewed-by: ppedrot





Reviewed-by: Zimmi48
Reviewed-by: ppedrot