--- a/NEWS Sat Jun 05 21:01:00 2021 +0200
+++ b/NEWS Sun Jun 06 15:49:39 2021 +0000
@@ -157,8 +157,10 @@
* Bit operations set_bit, unset_bit and flip_bit are now class
operations. INCOMPATIBILITY.
-* Abbreviation "max_word" has been moved to session Word_Lib in the AFP.
-See there further the changelog in theory Guide. INCOMPATIBILITY.
+* Abbreviation "max_word" has been moved to session Word_Lib in the AFP,
+as also have constants "shiftl1", "shiftr1", "sshiftr1", "bshiftr1",
+"setBit", "clearBit". See there further the changelog in theory Guide.
+INCOMPATIBILITY.
*** ML ***