# HG changeset patch
# User desharna
# Date 1645018533 -3600
# Node ID d76b150efdc278624aabad98e820a8a6c5bae56a
# Parent  1dae5cbcd35874919231825b3ee09770e4512e9b
NEWS

diff -r 1dae5cbcd358 -r d76b150efdc2 NEWS
--- a/NEWS	Wed Feb 16 14:24:05 2022 +0100
+++ b/NEWS	Wed Feb 16 14:35:33 2022 +0100
@@ -57,10 +57,11 @@
   - 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
+  - Added option "-r INT" to randomize the goals with a given 64-bit seed before
     selection.
   - Added option "-y" for a dry run.
   - Renamed run_action to run in Mirabelle.action record. Minor INCOMPATIBILITY.
+  - Run the actions on goals before commands "unfolding" and "using".
 
 * Meson
   - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY.