--- 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.