NEWS

--- a/NEWS	Sun Feb 28 15:34:50 2016 +0100
+++ b/NEWS	Sun Feb 28 15:43:56 2016 +0100
@@ -182,6 +182,10 @@
 executables are found within the PATH: isabelle, isabelle_process,
 isabelle_scala_script.
 
+* The somewhat pointless command-line tool "isabelle yxml" has been
+discontinued. INCOMPATIBILITY, use operations from the modules "XML" and
+"YXML" in Isabelle/ML or Isabelle/Scala.
+
 * SML/NJ is no longer supported.