diff -r 0bec0d1d9998 -r cc9c1f6a6b88 NEWS
--- a/NEWS	Wed Jun 01 19:23:18 2016 +0200
+++ b/NEWS	Wed Jun 01 19:54:26 2016 +0200
@@ -347,8 +347,13 @@
 
 *** ML ***
 
-* Ad-hoc overloading for standard operations on type Rat.rat: + - * / =
-< <= > >= <> ~ abs. INCOMPATIBILITY, need to use + instead of +/ etc.
+* Structure Rat for rational numbers is now an integral part of
+Isabelle/ML, with special notation @int/nat for numerals (an
+abbreviation for antiquotation @{Pure.rat int/nat}) and ML pretty
+printing. Standard operations on type Rat.rat are provided via ad-hoc
+overloading of + - * / = < <= > >= <> ~ abs. INCOMPATIBILITY, need to
+use + instead of +/ etc. Moreover, exception Rat.DIVZERO has been
+superseded by General.Div.
 
 * The ML function "ML" provides easy access to run-time compilation.
 This is particularly useful for conditional compilation, without