From e984c9a611936280e2c0e4a1d4b1739c3d32f4dd Mon Sep 17 00:00:00 2001
From: msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 3 Jun 2008 22:48:06 +0000
Subject: Fix setoid_rewrite documentation examples. Debug handling of
 identifiers in coqdoc (should work with modules and sections) and add missing
 macros. Move theories/Program to THEORIESVO to put the files in the standard
 library documentation.

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

(limited to 'COMPATIBILITY')

diff --git a/COMPATIBILITY b/COMPATIBILITY
index 7ddc33d47..159544529 100644
--- a/COMPATIBILITY
+++ b/COMPATIBILITY
@@ -22,7 +22,8 @@ Tactics
 - Add Relation and Add Morphism on polymorphic relations should now be
   declared with Add Parametric Relation and Add Parametric Morphism.
 
-- Some bug fixes may lead to incompatibilities.
+- Some bug fixes may lead to incompatibilities (see CHANGES for a detailed
+  account).
 
 Libraries
 
-- 
cgit v1.2.3