diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-05 19:48:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-06 01:55:19 +0200 |
| commit | c385838b3c0e48c1b074598c7cf4a418d000c0e8 (patch) | |
| tree | b087f8d1ebe998a5d490641232678a0c2549d0e6 | |
| parent | 9c033b4da738fb399eebe9f8ccf0f8a407d6d42e (diff) | |
8.7+beta2 CHANGES
| -rw-r--r-- | CHANGES | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -13,14 +13,22 @@ Tactics profiling, and "Set NativeCompute Profile Filename" customizes the profile filename. -Changes from 8.7+beta1 to 8.7.0 -=============================== +Changes from 8.7+beta1 to 8.7+beta2 +=================================== Tools - In CoqIDE, the "Compile Buffer" command takes account of flags in _CoqProject or other project file. +Improvements around some error messages. + +Many bug fixes including two important ones: + +- BZ#5730: CoqIDE becomes unresponsive on file open. +- coq_makefile: make sure compile flags for Coq and coq_makefile are in sync + (in particular, make sure the `-safe-string` option is used to compile plugins). + Changes from 8.6.1 to 8.7+beta1 =============================== |