NEWS
changeset 65396 b42167902f57
parent 65329 4f3da52cec02
child 65417 fc41a5650fb1
     1.1 --- a/NEWS	Tue Apr 04 08:57:21 2017 +0200
     1.2 +++ b/NEWS	Tue Apr 04 09:01:19 2017 +0200
     1.3 @@ -50,6 +50,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Constants E/L/F in Library/Formal_Power_Series were renamed to
     1.8 +fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space.
     1.9 +INCOMPATIBILITY.
    1.10 +
    1.11  * Constant "surj" is a full input/output abbreviation (again).
    1.12  Minor INCOMPATIBILITY.
    1.13