author | wenzelm |
Wed, 02 Jun 2010 21:53:03 +0200 | |
changeset 37298 | 1f3ca94ccb84 |
parent 37297 | a1acd424645a |
child 37300 | 812ff0bbd677 |
--- 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 ***