read flags from project file for Compile Buffer

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 4e40122d43..796fbd043d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,6 +13,11 @@ Tactics
   profiling, and "Set NativeCompute Profile Filename" customizes
   the profile filename.
 
+Tools
+
+- In CoqIDE, the "Compile Buffer" command takes account of flags in
+  _CoqProject or other project file.
+
 Changes from 8.6.1 to 8.7+beta
 ==============================