From 844624640d335bd49bc187a135548734ea353e37 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 26 Aug 1999 09:59:36 +0000
Subject: le noyau compile et link

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index 09c0a7b6f5..424132329b 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -34,6 +34,7 @@ Changements dans les fonctions :
 	  cons_vect	   ->  array_cons
 	  map_i_vect	   ->  Array.mapi
 	  map2_vect	   ->  array_map2
+	  list_of_tl_vect  ->  array_list_of_tl
 
 	Std 
 	  comp           ->  Util.compose
-- 
cgit v1.2.3