NEWS
changeset 48736 292b97e17fb7
parent 48722 a5e3ba7cbb2a
child 48792 4aa5b965f70e
equal deleted inserted replaced
48735:35c47932584c 48736:292b97e17fb7
    75 
    75 
    76 *** System ***
    76 *** System ***
    77 
    77 
    78 * Advanced support for Isabelle sessions and build management, see
    78 * Advanced support for Isabelle sessions and build management, see
    79 "system" manual for the chapter of that name, especially the "isabelle
    79 "system" manual for the chapter of that name, especially the "isabelle
    80 build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
    80 build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
    81 usedir / make / makeall are rendered obsolete.
    81 mkdir / make are rendered obsolete.
       
    82 
       
    83 * Discontinued obsolete "isabelle makeall".
    82 
    84 
    83 * Discontinued obsolete IsaMakefile and ROOT.ML files from the
    85 * Discontinued obsolete IsaMakefile and ROOT.ML files from the
    84 Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
    86 Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
    85 provides some traditional targets that invoke "isabelle build".  Note
    87 provides some traditional targets that invoke "isabelle build".  Note
    86 that this is inefficient!  Applications of Isabelle/HOL involving
    88 that this is inefficient!  Applications of Isabelle/HOL involving