From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 COMPATIBILITY | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index b44f344d..d85a5f3f 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -39,6 +39,10 @@ Tactics
   the names in the brackets are synchronized so that H denotes the same
   hypothesis in every subgoal.
 
+- Application patterns with a meta variable in function position (?X ?Y) now
+  match arbitrary applications as expected. Use a nested 
+  [match X with (_ _) => fail 1 | _ => ..] to recover the old semantics.
+
 - Some bug fixes may lead to incompatibilities (see CHANGES for a detailed
   account).
 
-- 
cgit v1.2.3