From 71b3dda2335571ed5f7fae7aa9c36d62a275d385 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 19 Dec 2001 09:52:55 +0000
Subject: MAJ V7.2

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

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index cc5025c9c3..29eab892e8 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -1,3 +1,19 @@
+MAIN CHANGES FROM COQ V7.1 TO COQ V7.2
+======================================
+
+The core of Coq (kernel) has meen minimized with the following effects:
+
+kernel/term.ml      split into kernel/term.ml,      pretyping/termops.ml
+kernel/reduction.ml split into kernel/reduction.ml, pretyping/reductionops.ml
+kernel/names.ml     split into kernel/names.ml,     library/nameops.ml
+kernel/inductive.ml split into kernel/inductive.ml, pretyping/inductiveops.ml
+
+the prefixes "Is" ans "IsMut" have been dropped from kind_of_term constructors,
+e.g. IsRel is now Rel, IsMutCase is now Case, etc.
+
+
+PRINCIPAUX CHANGEMENTS ENTRE COQ V6.3.1 ET COQ V7.0
+===================================================
 
 Changements d'organisation / modules :
 --------------------------------------
-- 
cgit v1.2.3