From 98ffcfb509b2438410cb044507efb65ea09ee3be Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 17 Feb 2013 14:56:14 +0000
Subject: Displaying environment and unfolding aliases in "cannot_unify" error.
 Maybe displaying environment is making output overly verbose, but this can
 also be considered an IDE issue, which would e.g. provide a button to
 hide/display environment of the error message...

Also added some "make_all_name_different" which should probably
prevent some anomalies "index to an anonymous variable" at error
reporting time.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16208 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index a8de063188..065892e5a5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,7 @@ Specification Language
 - The syntax "x -> y" is now declared at level 99. In particular, it has
   now a lower priority than "<->": "A -> B <-> C" is now "A -> (B <-> C)"
   (possible source of incompatibilities)
+- Slight changes in unification error messages.
 
 Tactics
 
-- 
cgit v1.2.3