| changeset 56303 | 4cc3f4db3447 |
| parent 56285 | 9315d3988d73 |
| child 56342 | 075397022503 |
--- a/NEWS Thu Mar 27 13:00:40 2014 +0100 +++ b/NEWS Thu Mar 27 17:12:40 2014 +0100 @@ -541,6 +541,9 @@ *** ML *** +* Moved ML_Compiler.exn_trace and other operations on exceptions to +structure Runtime. Minor INCOMPATIBILITY. + * Discontinued old Toplevel.debug in favour of system option "ML_exception_trace", which may be also declared within the context via "declare [[ML_exception_trace = true]]". Minor INCOMPATIBILITY.