equal
deleted
inserted
replaced
82 |
82 |
83 * Discontinued obsolete Isabelle/build script, it is superseded by the |
83 * Discontinued obsolete Isabelle/build script, it is superseded by the |
84 regular isabelle build tool. For example: |
84 regular isabelle build tool. For example: |
85 |
85 |
86 isabelle build -s -b HOLCF |
86 isabelle build -s -b HOLCF |
|
87 |
|
88 * The "isabelle mkroot" tool prepares session root directories for use |
|
89 with "isabelle build", similar to former "isabelle mkdir" for |
|
90 "isabelle usedir". |
87 |
91 |
88 * Discontinued support for Poly/ML 5.2.1, which was the last version |
92 * Discontinued support for Poly/ML 5.2.1, which was the last version |
89 without exception positions and advanced ML compiler/toplevel |
93 without exception positions and advanced ML compiler/toplevel |
90 configuration. |
94 configuration. |
91 |
95 |