changeset 65396 | b42167902f57 |
parent 65329 | 4f3da52cec02 |
child 65417 | fc41a5650fb1 |
--- 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.