# HG changeset patch
# User hoelzl
# Date 1246384444 -7200
# Node ID 6129dea3d8a936b56ac7bcc08554d3db24191503
# Parent  9e5bdbae677db9850e0b2d4abb7cb7c1f422b030
NEWS updated

diff -r 9e5bdbae677d -r 6129dea3d8a9 NEWS
--- a/NEWS	Tue Jun 30 18:25:55 2009 +0200
+++ b/NEWS	Tue Jun 30 19:54:04 2009 +0200
@@ -75,6 +75,14 @@
 * "approximate" supports now arithmetic expressions as boundaries of intervals and implements
 interval splitting and taylor series expansion.
 
+* Changed DERIV_intros to a NamedThmsFun. Each of the theorems in DERIV_intros
+assumes composition with an additional function and matches a variable to the
+derivative, which has to be solved by the simplifier. Hence
+(auto intro!: DERIV_intros) computes the derivative of most elementary terms.
+
+* Maclauren.DERIV_tac and Maclauren.deriv_tac was removed, they are replaced by:
+(auto intro!: DERIV_intros)
+INCOMPATIBILITY.
 
 *** ML ***