From dcc52a5579405d15f4d75e9e6d61a13dabd7e9f6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 30 Aug 2001 14:58:04 +0000
Subject: Clarify 6.3.1 for multi file

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3