From dc0f471f9f48e6ddb075f4f362558288f8169107 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 5 Jul 2006 17:36:17 +0000
Subject: MAJ

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

diff --git a/COMPATIBILITY b/COMPATIBILITY
index f216be76f5..bb293baa96 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -24,5 +24,9 @@ Potential sources of incompatibilities between Coq V8.0 and V8.1
 - A few changes in the library (as mentioned in the CHANGES file) may
   imply the need for local adaptations.
 
+- Occurrence numbering order for unfold, pattern, etc changed for the
+  match construction: occurrences in the return clause now come after
+  the occurrences in the term matched; this was the opposite before.
+
 - For changes in the ML interfaces, see file dev/doc/changes.txt in
   the main archive.
-- 
cgit v1.2.3