NEWS
changeset 49072 747835eb2782
parent 49000 0cebcbeac4c7
child 49145 0ee5983e3d59
     1.1 --- a/NEWS	Mon Sep 03 10:17:17 2012 +0200
     1.2 +++ b/NEWS	Mon Sep 03 11:09:25 2012 +0200
     1.3 @@ -101,8 +101,8 @@
     1.4  picked up from some surrounding directory.  Potential INCOMPATIBILITY
     1.5  for home-made configurations.
     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 +* The "isabelle logo" tool produces EPS and PDF format simultaneously.
    1.10 +Minor INCOMPATIBILITY in command-line options.
    1.11  
    1.12  * Advanced support for Isabelle sessions and build management, see
    1.13  "system" manual for the chapter of that name, especially the "isabelle