# HG changeset patch
# User wenzelm
# Date 1455834606 -3600
# Node ID 3fd79fcdb491c8e709d954ad18fae7544975bb0f
# Parent  0b7337826593f8e5a1ffeab93718481d07f803a9# Parent  6709e51d5c119bd3941a8327c07f93cc737b1c48
merged

diff -r 6709e51d5c11 -r 3fd79fcdb491 NEWS
--- a/NEWS	Thu Feb 18 23:10:28 2016 +0100
+++ b/NEWS	Thu Feb 18 23:30:06 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