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/Pure/Isar/attrib.ML
changeset 79743 3648e9c88d0c
parent 79742 2e4518e8a36b
child 81166 26ecbac09941 
--- a/src/Pure/Isar/attrib.ML	Wed Feb 28 15:19:15 2024 +0100
+++ b/src/Pure/Isar/attrib.ML	Wed Feb 28 17:25:54 2024 +0100
@@ -631,6 +631,7 @@
   register_config_bool Thm.show_tags #>
   register_config_bool Pattern.unify_trace_failure #>
   register_config_int Unify.search_bound #>
+  register_config_bool Unify.unify_trace #>
   register_config_int Unify.unify_trace_bound #>
   register_config_bool Unify.unify_trace_simp #>
   register_config_bool Unify.unify_trace_types #>
isabelle