From 26f0747a93e403b08a0432221a18591a91966eb0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 11 Sep 2001 13:22:21 +0000
Subject: MAJ

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

diff --git a/CHANGES b/CHANGES
index 4f0189ae16..2621b025be 100644
--- a/CHANGES
+++ b/CHANGES
@@ -34,6 +34,13 @@ Modifications depuis la V7.0
   hypothèses du contexte, la stratégie de nommage est
   différente). Elim et Case restent nécessaires pour les cas où
   l'hypothèse d'élimination est un produit sur un type inductif.
+- Nouvelles contribs:
+   - CtlTctl et RailroadCrossing (Carlos Daniel Luna) [Montevideo],
+   - GRAPHS-BASICS (J. Duprat) [Lyon],
+   - FTA (Herman Geuvers et al) [Nijmegen], 
+   - Bresenham (JCF), Diff (JCF) et PAutomata (Paulin/Freund) [Orsay],
+   - Functions_in_ZFC (C. Simpson), Buchberger (L. Thery), Rsa
+     (L. Thery) et Stalmarck (L.Thery, P. Letouzey) [Sophia]
 
 
 Différences oubliées dans la V7.0beta :
-- 
cgit v1.2.3