NEWS

--- a/NEWS	Mon Aug 27 16:07:48 2012 +0200
+++ b/NEWS	Mon Aug 27 16:10:54 2012 +0200
@@ -84,6 +84,9 @@
 
 *** System ***
 
+* The "isabelle logo" tool allows to specify EPS or PDF format; the
+latter is preferred now.  Minor INCOMPATIBILITY.
+
 * Advanced support for Isabelle sessions and build management, see
 "system" manual for the chapter of that name, especially the "isabelle
 build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /