diff -r c1ca931b3647 -r 747835eb2782 NEWS
--- a/NEWS	Mon Sep 03 10:17:17 2012 +0200
+++ b/NEWS	Mon Sep 03 11:09:25 2012 +0200
@@ -101,8 +101,8 @@
 picked up from some surrounding directory.  Potential INCOMPATIBILITY
 for home-made configurations.
 
-* The "isabelle logo" tool allows to specify EPS or PDF format; the
-latter is preferred now.  Minor INCOMPATIBILITY.
+* The "isabelle logo" tool produces EPS and PDF format simultaneously.
+Minor INCOMPATIBILITY in command-line options.
 
 * Advanced support for Isabelle sessions and build management, see
 "system" manual for the chapter of that name, especially the "isabelle