NEWS

--- a/NEWS	Wed Nov 18 11:12:29 1998 +0100
+++ b/NEWS	Wed Nov 18 15:10:46 1998 +0100
@@ -5,6 +5,10 @@
 New in this Isabelle version
 ----------------------------
 
+*** Overview of INCOMPATIBILITIES (see below for more details) ***
+
+* HOL: Removed the obsolete syntax "Compl A"; use -A for set complement
+
 *** General ***
 
 * tuned current_goals_markers semantics: begin / end goal avoids