aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGES2
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 136a87d591..95b6fd7dae 100644
--- a/CHANGES
+++ b/CHANGES
@@ -19,6 +19,8 @@ Syntaxe des constructions
- Davantage d'inférence automatique de "?".
+- Davantage d'arguments implicites engendrés par le discharge.
+
- Les cas des Cases ne se lisent plus de manière séquentielle, sauf en
cas de clauses par défaut redondantes auquel cas la première est prise
avec un avertissement.