1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 8fb4229e..97b08da1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -63,7 +63,7 @@
      Compatibility for V7 added.
 
      Experimental enhancements to handling of compiled files and 
-     file dependency:
+     file dependency.  (Only tested with Coq 6.3.1)
 
        1) At the end of scripting foo.v (i.e. when activing scripting is
        switched off), "Reset Initial. Compile Module <foo>" is