equal
deleted
inserted
replaced
305 "isabelle usedir". |
305 "isabelle usedir". |
306 |
306 |
307 * The "isabelle components" tool helps to resolve add-on components |
307 * The "isabelle components" tool helps to resolve add-on components |
308 that are not bundled, or referenced from a bare-bones repository |
308 that are not bundled, or referenced from a bare-bones repository |
309 version of Isabelle. |
309 version of Isabelle. |
|
310 |
|
311 * The "isabelle install" tool has now a simpler command-line. Minor |
|
312 INCOMPATIBILITY. |
310 |
313 |
311 * Discontinued support for Poly/ML 5.2.1, which was the last version |
314 * Discontinued support for Poly/ML 5.2.1, which was the last version |
312 without exception positions and advanced ML compiler/toplevel |
315 without exception positions and advanced ML compiler/toplevel |
313 configuration. |
316 configuration. |
314 |
317 |