documentation update

diff --git a/NEWS b/NEWS
index ef550a6c7b09ddd7a038fb7dffb1b0ef8aecd364..da87a2bbcc9cf27bfe7cd2aaf96a1a5a2c376405 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,10 +3,14 @@ This file records noteworthy changes.
 1.2.0 (<insert date>)
 * Added a structure<T> template class for the easy creation of user-defined
   algebraic classes.
 1.2.0 (<insert date>)
 * Added a structure<T> template class for the easy creation of user-defined
   algebraic classes.

-* <visitors>
+* Added support for (acyclic) visitors, to allow cleaner implementations of
+  algebraic algorithms.

 * <iterators>
 * <iterators>

-* <new-style printing>
-* <noncommutative symbols>
+* Completely revamped the implementation of expression output. It is now
+  possible to add new output formats, to change the behavior of predefined
+  formats at run-time, and to have different output styles for algebraic
+  functions.
+* Symbols can be made non-commutative.

 * Improved the speed of subs(), normal(), to_rational() and to_polynomial()
   by the use of maps instead of lists. The old forms
     subs(const lst & ls, const lst & lr, unsigned options)
 * Improved the speed of subs(), normal(), to_rational() and to_polynomial()
   by the use of maps instead of lists. The old forms
     subs(const lst & ls, const lst & lr, unsigned options)