diff -r 33368a2296aa -r 1019be449dbd NEWS
--- a/NEWS	Thu May 04 22:19:59 2017 +0200
+++ b/NEWS	Fri May 05 11:16:13 2017 +0200
@@ -82,7 +82,8 @@
 
 * Theory Totient in session Number_Theory introduces basic notions
 about Euler's totient function previously hidden as solitary example
-in theory Residues.  Minor INCOMPATIBILITY.
+in theory Residues. Definition changed so that "totient 1 = 1" in
+agreement with the literature.  Minor INCOMPATIBILITY.
 
 * Session "Computional_Algebra" covers many previously scattered
 theories, notably Euclidean_Algorithm, Factorial_Ring, Formal_Power_Series,