NEWS

--- a/NEWS	Tue Apr 04 08:57:21 2017 +0200
+++ b/NEWS	Tue Apr 04 09:01:19 2017 +0200
@@ -50,6 +50,10 @@
 
 *** HOL ***
 
+* Constants E/L/F in Library/Formal_Power_Series were renamed to
+fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
+INCOMPATIBILITY.
+
 * Constant "surj" is a full input/output abbreviation (again).
 Minor INCOMPATIBILITY.