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