equal
deleted
inserted
replaced
103 required for "isabelle build", for example. |
103 required for "isabelle build", for example. |
104 |
104 |
105 * The "isabelle mkroot" tool prepares session root directories for use |
105 * The "isabelle mkroot" tool prepares session root directories for use |
106 with "isabelle build", similar to former "isabelle mkdir" for |
106 with "isabelle build", similar to former "isabelle mkdir" for |
107 "isabelle usedir". |
107 "isabelle usedir". |
|
108 |
|
109 * The "isabelle components" tool helps to resolve add-on components |
|
110 that are not bundled, or referenced from a bare-bones repository |
|
111 version of Isabelle. |
108 |
112 |
109 * Discontinued support for Poly/ML 5.2.1, which was the last version |
113 * Discontinued support for Poly/ML 5.2.1, which was the last version |
110 without exception positions and advanced ML compiler/toplevel |
114 without exception positions and advanced ML compiler/toplevel |
111 configuration. |
115 configuration. |
112 |
116 |