1 files changed, 6 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 2040c1b57..b0843a621 100644
--- a/CHANGES
+++ b/CHANGES
@@ -93,6 +93,12 @@ CoqIDE
 - Find and Replace All report the number of occurrences found; Find indicates
   when it wraps.
 
+coqdep
+
+- Learned to read -I, -Q, -R and filenames from _CoqProject files.
+  This is used by coq_makefile when generating dependencies for .v
+  files (but not other files).
+
 Documentation
 
 - The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been