# HG changeset patch
# User haftmann
# Date 1455811630 -3600
# Node ID 0b7337826593f8e5a1ffeab93718481d07f803a9
# Parent  ab76bd43c14a764d0037ba1316bffcdc249298da
NEWS concerning 66a381d3f88f

diff -r ab76bd43c14a -r 0b7337826593 NEWS
--- a/NEWS	Wed Feb 17 23:29:35 2016 +0100
+++ b/NEWS	Thu Feb 18 17:07:10 2016 +0100
@@ -35,6 +35,9 @@
 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
 INCOMPATIBILITY.
 
+* "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional
+comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)".
+
 * Class semiring_Lcd merged into semiring_Gcd.  INCOMPATIBILITY.
 
 * Library/Polynomial.thy contains also derivation of polynomials