NEWS
changeset 63211 0bec0d1d9998
parent 63198 c583ca33076a
child 63212 cc9c1f6a6b88
--- a/NEWS	Wed Jun 01 17:46:12 2016 +0200
+++ b/NEWS	Wed Jun 01 19:23:18 2016 +0200
@@ -348,7 +348,7 @@
 *** ML ***
 
 * Ad-hoc overloading for standard operations on type Rat.rat: + - * / =
-< <= > >= <>. INCOMPATIBILITY, need to use + instead of +/ etc.
+< <= > >= <> ~ abs. INCOMPATIBILITY, need to use + instead of +/ etc.
 
 * The ML function "ML" provides easy access to run-time compilation.
 This is particularly useful for conditional compilation, without