Petit complément au commit 10131.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10136 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 320ea171f..e046ee2fd 100644
--- a/CHANGES
+++ b/CHANGES
@@ -61,6 +61,9 @@ Tactic Language
   generated by expr_0. In this case, the value of expr (or idtac in
   case of just "..") is applied to the intermediate subgoals to make
   the number of tactics equal to the number of subgoals.
+- Names to be used as actual identifiers (like f in "apply f_equal f:=t")
+  must not be used elsewhere as variables in the same ltac expression
+  (possible source of incompatibility).
 
 Tactics