Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
authordesharna
Thu, 20 Jan 2022 13:56:51 +0100
changeset 74990 7c123c76a8c9
parent 74989 003f378b78a5
child 74991 d699eb2d26ad
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle