NEWS

 
 * Mirabelle:
   - 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.