equal
deleted
inserted
replaced
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 |