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