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 74156 ecf80e37ed1a
parent 74112 d0527bb2e590
child 74261 d28a51dd9da6 
--- a/src/Pure/Isar/attrib.ML	Wed Aug 18 16:13:40 2021 +0200
+++ b/src/Pure/Isar/attrib.ML	Wed Aug 18 23:04:58 2021 +0200
@@ -602,6 +602,7 @@
   register_config_bool Thm.show_consts #>
   register_config_bool Thm.show_hyps #>
   register_config_bool Thm.show_tags #>
+  register_config_bool Proof_Display.show_results #>
   register_config_bool Pattern.unify_trace_failure #>
   register_config_int Unify.trace_bound #>
   register_config_int Unify.search_bound #>
isabelle