NEWS

--- a/NEWS	Thu Jan 20 13:55:29 2022 +0100
+++ b/NEWS	Thu Jan 20 13:56:51 2022 +0100
@@ -51,6 +51,9 @@
   - Replaced sledgehammer option "keep" by
     "keep_probs", for problems files, and
     "keep_proofs" for proof files. Minor INCOMPATIBILITY.
+  - Added option "-r INT" to randomize the goals with a given seed before
+    selection.
+  - Added option "-y" for a dry run.