Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/try0.ML
changeset 78239 4fe65149f3fd
parent 74870 d54b3c96ee50
child 79742 2e4518e8a36b 
--- a/src/HOL/Tools/try0.ML	Sat Jul 01 16:47:52 2023 +0200
+++ b/src/HOL/Tools/try0.ML	Sun Jul 02 14:28:20 2023 +0200
@@ -93,7 +93,8 @@
    ("fastforce", ((false, false), full_attrs)),
    ("force", ((false, false), full_attrs)),
    ("meson", ((false, false), metis_attrs)),
-   ("satx", ((false, false), no_attrs))];
+   ("satx", ((false, false), no_attrs)),
+   ("order", ((false, true), no_attrs))];
 
 val apply_methods = map apply_named_method named_methods;
isabelle