diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-28 17:42:51 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-28 17:56:08 +0200 |
| commit | e739f16b0792545ec210008cdd6264614fe695e4 (patch) | |
| tree | 42954123b0745712ab1a2f2b884d863638977139 /CHANGES | |
| parent | 01b7de3a673eb89cea61442c4db721aad9520c9f (diff) | |
Fix #7101: STM delegation policy broken
I make here a minimal fix, but a lot of cleaning should be done around
Aux_file handling, including removing some code from the kernel.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -6,6 +6,15 @@ Tools - Coq_makefile lets one override or extend the following variables from the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS. +Changes from 8.8+beta1 to 8.8.0 +=============================== + +Tools + +- Asynchronous proof delegation policy was fixed. Since Coq 8.7, it was + ignoring previous runs, hence the -async-proofs-delegation-threshold did + not have the expected behavior. + Changes from 8.7.2 to 8.8+beta1 =============================== |