--- a/NEWS Tue Apr 08 11:59:25 2008 +0200
+++ b/NEWS Tue Apr 08 15:47:05 2008 +0200
@@ -223,8 +223,12 @@
*** System ***
-* System: removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the
-documented way of changing the user's settings is via
+* YXML notation provides a simple and efficient alternative to
+standard XML transfer syntax. See src/Pure/General/yxml.ML and
+isatool yxml as described in the Isabelle system manual.
+
+* Removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the documented
+way of changing the user's settings is via
ISABELLE_HOME_USER/etc/settings, which is a fully featured bash
script.