From ff3f2da65bb4033b4f60fe3890d5392315fe09b5 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 17 Aug 1999 14:06:06 +0000
Subject: ajout de modules

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 5a190073fa..f0f25bba8a 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -1,5 +1,6 @@
 
-Voici les changements d'organisation / modules :
+Changements d'organisation / modules :
+--------------------------------------
 
   AVANT					APRÈS
   ================================	===============================
@@ -8,3 +9,26 @@ Voici les changements d'organisation / modules :
   Names					kernel/names.ml et kernel/sign.ml
     (les parties noms et signatures ont été séparées)
 
+
+
+Changements dans les types de données :
+---------------------------------------
+  dans Generic: free_rels : constr -> int Listset.t
+                  devient : constr -> Intset.t
+
+Changements dans les fonctions :
+--------------------------------
+
+	Vectops.
+	  it_vect          ->  Array.fold_left
+	  vect_it          ->  Array.fold_right
+	  exists_vect      ->  Util.array_exists
+	  for_all2eq_vect  ->  Util.array_for_all2
+	  tabulate_vect    ->  Array.init
+	  hd_vect          ->  Util.array_hd
+	  it_vect_from     ->  array_fold_left_from
+	  vect_it_from     ->  array_fold_right_from
+	  app_tl_vect	   ->  array_app_tl
+	  cons_vect	   ->  array_cons
+
+	Std.comp           ->  Util.compose
-- 
cgit v1.2.3