1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index a909449f6..3010e68a8 100644
--- a/CHANGES
+++ b/CHANGES
@@ -7,6 +7,8 @@ Modifications depuis la V7.0
 - Prise en compte des qualid dans Decompose
 - Correction bug inférence type Cases en présence de K-rédex
 - Correction bugs Cases en cas de prédicat dépendant
+- Le flag Delta n'inclut plus Zeta et Evar, nouveaux flags Zeta et Evar inclus
+  dans Compute (à documenter)
 
 Différences V7.0beta / V7.0
 - Portage de Correctness