# HG changeset patch
# User krauss
# Date 1287052814 -7200
# Node ID eebfa0b9389692b579db0d197a8e2f2a4cef1759
# Parent  f225a499a8e50cc260ad48c9662dfd7b49b456d1
NEWS

diff -r f225a499a8e5 -r eebfa0b93896 NEWS
--- a/NEWS	Sun Oct 10 22:50:25 2010 +0200
+++ b/NEWS	Thu Oct 14 12:40:14 2010 +0200
@@ -103,6 +103,8 @@
 
 * Dropped type classes mult_mono and mult_mono1.  INCOMPATIBILITY.
 
+* Removed output syntax "'a ~=> 'b" for "'a => 'b option". INCOMPATIBILITY.
+
 * Theory SetsAndFunctions has been split into Function_Algebras and Set_Algebras;
 canonical names for instance definitions for functions; various improvements.
 INCOMPATIBILITY.