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