NEWS
changeset 48936 e6d9e46ff7bc
parent 48890 d72ca5742f80
child 48977 ae12b92c145a
equal deleted inserted replaced
48935:4c92a2f310b6 48936:e6d9e46ff7bc
    81 * Simplified custom document/build script, instead of old-style
    81 * Simplified custom document/build script, instead of old-style
    82 document/IsaMakefile.  Minor INCOMPATIBILITY.
    82 document/IsaMakefile.  Minor INCOMPATIBILITY.
    83 
    83 
    84 
    84 
    85 *** System ***
    85 *** System ***
       
    86 
       
    87 * The "isabelle logo" tool allows to specify EPS or PDF format; the
       
    88 latter is preferred now.  Minor INCOMPATIBILITY.
    86 
    89 
    87 * Advanced support for Isabelle sessions and build management, see
    90 * Advanced support for Isabelle sessions and build management, see
    88 "system" manual for the chapter of that name, especially the "isabelle
    91 "system" manual for the chapter of that name, especially the "isabelle
    89 build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
    92 build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
    90 mkdir / make are rendered obsolete.
    93 mkdir / make are rendered obsolete.