# HG changeset patch
# User haftmann
# Date 1479983635 -3600
# Node ID 49a29161d8efb27b3a833c080e2dee1de169b5cd
# Parent  b66f8caf86b6c5aba978f74f21f40920eeae6cfe
clarified NEWS concerning Library/Poly_Deriv

diff -r b66f8caf86b6 -r 49a29161d8ef NEWS
--- a/NEWS	Wed Nov 23 20:55:58 2016 +0100
+++ b/NEWS	Thu Nov 24 11:33:55 2016 +0100
@@ -906,11 +906,12 @@
 support for monotonicity and continuity in chain-complete partial orders
 and about admissibility conditions for fixpoint inductions.
 
-* Session HOL-Library: theory Polynomial contains also derivation of
-polynomials but not gcd/lcm on polynomials over fields. This has been
-moved to a separate theory Library/Polynomial_GCD_euclidean.thy, to pave
-way for a possible future different type class instantiation for
-polynomials over factorial rings. INCOMPATIBILITY.
+* Session HOL-Library: theory Library/Polynomial contains also
+derivation of polynomials (formerly in Library/Poly_Deriv) but not
+gcd/lcm on polynomials over fields. This has been moved to a separate
+theory Library/Polynomial_GCD_euclidean.thy, to pave way for a possible
+future different type class instantiation for polynomials over factorial
+rings. INCOMPATIBILITY.
 
 * Session HOL-Library: theory Sublist provides function "prefixes" with
 the following renaming