equal
deleted
inserted
replaced
70 |
70 |
71 * Advanced support for Isabelle sessions and build management, see |
71 * Advanced support for Isabelle sessions and build management, see |
72 "system" manual for the chapter of that name, especially the "isabelle |
72 "system" manual for the chapter of that name, especially the "isabelle |
73 build" tool and its examples. Eventual INCOMPATIBILITY, as isabelle |
73 build" tool and its examples. Eventual INCOMPATIBILITY, as isabelle |
74 usedir / make / makeall are rendered obsolete. |
74 usedir / make / makeall are rendered obsolete. |
|
75 |
|
76 * Discontinued obsolete Isabelle/build script, it is superseded by the |
|
77 regular isabelle build tool. For example: |
|
78 |
|
79 isabelle build -s -b HOLCF |
75 |
80 |
76 * Discontinued support for Poly/ML 5.2.1, which was the last version |
81 * Discontinued support for Poly/ML 5.2.1, which was the last version |
77 without exception positions and advanced ML compiler/toplevel |
82 without exception positions and advanced ML compiler/toplevel |
78 configuration. |
83 configuration. |
79 |
84 |