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 76065 6dc5968b9a86
parent 76064 28ddebb43d93
child 78023 76dece8cd8a7 
--- a/src/Pure/Isar/attrib.ML	Mon Sep 05 21:13:29 2022 +0200
+++ b/src/Pure/Isar/attrib.ML	Mon Sep 05 21:18:40 2022 +0200
@@ -601,8 +601,6 @@
   register_config_bool Thm.show_consts #>
   register_config_bool Thm.show_hyps #>
   register_config_bool Thm.show_tags #>
-  register_config_bool Proof_Display.show_goal_inst #>
-  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