1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 7a326c589..f2a46bd24 100644
--- a/CHANGES
+++ b/CHANGES
@@ -21,6 +21,10 @@ Tactics
 - Tactic "decide equality" now able to manage constructors which
   contain proofs.
 
+Checker
+
+- The checker now accepts filenames in addition to logical paths.
+
 Changes from 8.7+beta2 to 8.7.0
 ===============================