From 4766086002931e5b45d768d10bd430c7abdb5b13 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 17 Apr 2004 08:09:49 +0000
Subject: Finalement pas de liste des contributions (cela n'avait été fait que
 pour la 7.0)

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

diff --git a/CHANGES b/CHANGES
index 00600f19ff..e1240159d6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -44,22 +44,6 @@ User contributions
 
 - User contributions have been updated to the new syntax
 
-New user contributions
-
-- A modular formalization of dictionaries based on binary search trees
-- The Constructive Coq Repository at Nijmegen
-- Coqoban: playing Sokoban within Coq
-- Preliminary linear algebra from the book "Linear Algebra" by Friedberg
-- A theory of rational numbers represented as finite binary lists
-- A theory of rational numbers represented as a quotient of Z * N
-- A modular theory of finite sets as sorted lists, red-black trees or AVLs
-- Non analytic high school geometry
-- A proof of correctness of Huffman algorithm
-- A theory of squared matrices
-- Properties of Lambek calculus
-- A formalization of Coquand's proof of Higman's lemma
-- The Formal Verification of an Incremental Garbage Collector
-
 Bug fixes
 
 - Many bugs have been fixed (cf coq-bugs web page)
-- 
cgit v1.2.3