# HG changeset patch
# User blanchet
# Date 1643641763 -3600
# Node ID 787b69fffaae8e3814f4f8e1a54b43cd64229646
# Parent  a695b78213e5d5154f6c2417c79d212a877c728d
more NEWS

diff -r a695b78213e5 -r 787b69fffaae NEWS
--- a/NEWS	Mon Jan 31 16:09:23 2022 +0100
+++ b/NEWS	Mon Jan 31 16:09:23 2022 +0100
@@ -38,7 +38,8 @@
   - Redesigned multithreading to provide more fine grained prover scheduled.
     The binary option 'slice' has been replaced by a numeric value 'slices'
     indicating the number of desired slices. Stronger provers can now be run by
-    more than one thread simultaneously. INCOMPATIBILITY.
+    more than one thread simultaneously. The new parameter 'max_proofs' controls
+    the number of proofs shown. INCOMPATIBILITY.
   - Introduced sledgehammer_outcome data type and changed return type of ML
     function Sledgehammer.run_sledgehammer from "bool * (string * string list)"
     to "bool * (sledgehammer_outcome * string)". The former value can be