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