From 9eabd9dce9f6541099394f0492aeb669a1005ee9 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 17 Aug 1999 16:26:31 +0000
Subject: module Closure

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index f0f25bba8a..c488bed580 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -26,6 +26,8 @@ Changements dans les fonctions :
 	  for_all2eq_vect  ->  Util.array_for_all2
 	  tabulate_vect    ->  Array.init
 	  hd_vect          ->  Util.array_hd
+	  tl_vect          ->  Util.array_tl
+	  last_vect        ->  Util.array_last
 	  it_vect_from     ->  array_fold_left_from
 	  vect_it_from     ->  array_fold_right_from
 	  app_tl_vect	   ->  array_app_tl
-- 
cgit v1.2.3