# HG changeset patch
# User nipkow
# Date 1288521945 -3600
# Node ID d4923a7f42c1de4b00a20e7f8915f6624cf4e001
# Parent  cd932ab8cb596dcf6ddb11e03e8fc5feb86545c1# Parent  edec5213042bd36b9f2293bb6fdbeb3a1c7af260
merged

diff -r cd932ab8cb59 -r d4923a7f42c1 NEWS
--- a/NEWS	Sun Oct 31 11:38:09 2010 +0100
+++ b/NEWS	Sun Oct 31 11:45:45 2010 +0100
@@ -159,6 +159,9 @@
 * Abolished symbol type names:  "prod" and "sum" replace "*" and "+"
 respectively.  INCOMPATIBILITY.
 
+* Name "Plus" of disjoint sum operator "<+>" is now hidden.
+  Write Sum_Type.Plus.
+
 * Constant "split" has been merged with constant "prod_case";  names
 of ML functions, facts etc. involving split have been retained so far,
 though.  INCOMPATIBILITY.