# HG changeset patch
# User haftmann
# Date 1556906682 -7200
# Node ID 7e9269c188d63edcc429b80d4b72a81decab4a4a
# Parent  498ae040d47be111a3301e170438be1dfffdfed6
more NEWS

diff -r 498ae040d47b -r 7e9269c188d6 NEWS
--- a/NEWS	Fri May 03 15:43:13 2019 +0100
+++ b/NEWS	Fri May 03 20:04:42 2019 +0200
@@ -209,7 +209,8 @@
 situations, type conversions are not inserted implicitly any longer
 and need to be given explicitly. Auxiliary abbreviations INFIMUM,
 SUPREMUM, UNION, INTER should now rarely occur in output and are just
-retained as migration auxiliary. INCOMPATIBILITY.
+retained as migration auxiliary. Abbreviations MINIMUM and MAXIMUM
+are gone INCOMPATIBILITY.
 
 * The simplifier uses image_cong_simp as a congruence rule. The historic
 and not really well-formed congruence rules INF_cong*, SUP_cong*, are