From 1d67eb8a50a6d4f185aead5a23442e4b91270594 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 11 Jun 2008 11:25:07 +0000
Subject: MAJ diverses

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11102 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/doc/changes.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index d8cdf738d9..b7545e09c0 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -2,9 +2,14 @@
 = CHANGES BETWEEN COQ V8.1 AND COQ V8.2 =
 =========================================
 
-A few differences in Coq ML interfaces between Coq V8.0 and V8.1
+A few differences in Coq ML interfaces between Coq V8.1 and V8.2
 ================================================================
 
+** Datatypes
+
+List of occurrences moved from "int list" to "Termops.occurrences" (an
+alias to "bool * int list").
+
 ** Functions
 
 Eauto: e_resolve_constr, vernac_e_resolve_constr -> simplest_eapply
-- 
cgit v1.2.3