From b0382a9829f08282351244839526bd2ffbe6283f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 19 Nov 1999 14:22:39 +0000
Subject: modules Bij, Gmapl, Stock

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@125 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 543b0fa699..427ac393e6 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -8,6 +8,7 @@ Changements d'organisation / modules :
     (les parties noms et signatures ont été séparées)
 
   Avm,Mavm,Fmavm,Mhm  ->  utiliser plutôt Map (et freeze alors gratuit)
+  Mhb                 ->  Bij
 
 
 Changements dans les types de données :
-- 
cgit v1.2.3