1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 4e40122d4..796fbd043 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
 ==============================