From da506334b94d7497ce4b826e2457501b3c3dcd22 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Sun, 3 Dec 2023 16:31:00 +0900
Subject: [PATCH] fix changelog

---
 changelog.txt | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/changelog.txt b/changelog.txt
index ff20b370..dd8f0e9a 100644
--- a/changelog.txt
+++ b/changelog.txt
@@ -1,6 +1,12 @@
 -------------------
-from 0.5.2 to master
+from 0.5.2 to 0.6.0
 -------------------
+
+The main change is that now the type fdist is now parameterized by R :
+numDomainType.  This is the source of many changes to related lemmas
+and also of a reorganization of basic files (introduction of
+realType_ext.v, etc.).
+
 - renamed
   + fsdistbindE -> fsdistbindEcond
 - added