# HG changeset patch
# User desharna
# Date 1642683411 -3600
# Node ID 7c123c76a8c972be952e73ffa7f5853939b4f2b3
# Parent  003f378b78a5139d986ab2e0bf44a280e09f661c
NEWS

diff -r 003f378b78a5 -r 7c123c76a8c9 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.