From 04e3a8c1269f3880b61db3db3e38da57e5af718a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 2 Jun 2000 12:38:35 +0000
Subject: MAJ

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 918d1d40f8..05d8b04f2f 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -56,6 +56,10 @@ Changements dans les fonctions :
 	  map2_vect	   ->  array_map2
 	  list_of_tl_vect  ->  array_list_of_tl
 
+        Generic
+	  noccur_bet     -> noccur_between
+          substn_many    -> substnl
+
 	Std 
 	  comp           ->  Util.compose
 	  rev_append	 ->  List.rev_append
@@ -121,6 +125,10 @@ Changements dans les fonctions :
         Declare
   	  machine_constant ->   declare_constant (+ modifs)
 
+	ex-Trad
+          inh_cast_rel        -> Coercion.inh_conv_coerce_to
+          inh_conv_coerce_to  -> Coercion.inh_conv_coerce_to_fail
+
 Changements dans les inductifs
 ------------------------------
 Nouveaux types "constructor" et "inductive" dans Term
-- 
cgit v1.2.3