NEWS

--- a/NEWS	Thu Mar 09 21:55:02 2017 +0100
+++ b/NEWS	Fri Mar 10 13:47:35 2017 +0100
@@ -48,6 +48,9 @@
 
 *** HOL ***
 
+* Constant "surj" is a full input/output abbreviation (again).
+Minor INCOMPATIBILITY.
+
 * Theory Library/FinFun has been moved to AFP (again).  INCOMPATIBILITY.
 
 * Some old and rarely used ASCII replacement syntax has been removed.