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.
proper antiquotations;
authorwenzelm
Tue, 06 Sep 2022 12:25:57 +0200
changeset 76071 8e1b2e1a29b7
parent 76070 cf13b2147c48
child 76072 5fc4e1fc39b1
proper antiquotations;
src/Pure/Isar/proof_display.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_display.ML	Tue Sep 06 11:55:24 2022 +0200
+++ b/src/Pure/Isar/proof_display.ML	Tue Sep 06 12:25:57 2022 +0200
@@ -248,7 +248,7 @@
 
 (* goal instantiation *)
 
-val show_goal_inst = Attrib.setup_option_bool ("show_goal_inst", \<^here>);
+val show_goal_inst = Attrib.setup_option_bool (\<^system_option>\<open>show_goal_inst\<close>, \<^here>);
 
 fun pretty_goal_inst ctxt propss goal =
   let
isabelle