aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGES4
1 files changed, 3 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index aa4f348273..040f050c80 100644
--- a/CHANGES
+++ b/CHANGES
@@ -34,7 +34,9 @@ Library
notations. They now must be applied (incompatibilities only in
unrealistic cases).
- More efficient versions of Zmult and times (30% faster)
-- Reals (Olivier)
+- Reals: the library is now divided in 6 parts (Rbase, Rfunctions,
+ SeqSeries, Rtrigo, Ranalysis, Integration). New tactics: Sup and
+ RCompute. See Reals.v for details.
Modules