| changeset 50132 | 180d086c30dd |
| parent 50126 | 3dec88149176 |
| child 50138 | ca989d793b34 |
--- a/NEWS Tue Nov 20 14:55:52 2012 +0100 +++ b/NEWS Tue Nov 20 15:18:11 2012 +0100 @@ -308,6 +308,9 @@ that are not bundled, or referenced from a bare-bones repository version of Isabelle. +* The "isabelle install" tool has now a simpler command-line. Minor +INCOMPATIBILITY. + * Discontinued support for Poly/ML 5.2.1, which was the last version without exception positions and advanced ML compiler/toplevel configuration.