NEWS

--- a/NEWS	Fri Oct 31 15:15:10 2014 +0100
+++ b/NEWS	Fri Oct 31 16:03:45 2014 +0100
@@ -187,7 +187,8 @@
 
 *** System ***
 
-* Proof General support has been discontinued.  Minor INCOMPATIBILITY.
+* Support for Proof General and Isar TTY loop has been discontinued.
+Minor INCOMPATIBILITY.
 
 * The Isabelle tool "update_cartouches" changes theory files to use
 cartouches instead of old-style {* verbatim *} or `alt_string` tokens.