# HG changeset patch
# User wenzelm
# Date 1126808868 -7200
# Node ID 67c84a7d29f79eabaf40b3ff9c4672222da79b69
# Parent  808d90bad8f720c35e44e46fe0ee5da4f652b5a4
* Improved efficiency of the Simplifier etc.;

diff -r 808d90bad8f7 -r 67c84a7d29f7 NEWS
--- a/NEWS	Thu Sep 15 20:25:04 2005 +0200
+++ b/NEWS	Thu Sep 15 20:27:48 2005 +0200
@@ -48,6 +48,10 @@
 formal and informal parts).  Cf. option -U of the Isabelle Proof
 General interface; HOL/ex/Hebrew.thy provides a simple example.
 
+* Improved efficiency of the Simplifier and, to a lesser degree, the
+Classical Reasoner.  Typical big applications run around 2 times
+faster.
+
 
 *** Document preparation ***