NEWS

--- a/NEWS	Wed Jun 02 21:39:35 2010 +0200
+++ b/NEWS	Wed Jun 02 21:53:03 2010 +0200
@@ -86,6 +86,9 @@
 'hide_fact' replace the former 'hide' KIND command.  Minor
 INCOMPATIBILITY.
 
+* Improved parallelism of proof term normalization: usedir -p2 -q0 is
+more efficient than combinations with -q1 or -q2.
+
 
 *** Pure ***