changeset 76068 | 319d08115b13 |
parent 76041 | 4a1330addb4e |
child 76073 | 951abf9db857 |
--- a/etc/options Mon Sep 05 21:59:05 2022 +0200 +++ b/etc/options Mon Sep 05 22:47:09 2022 +0200 @@ -59,6 +59,8 @@ option show_consts : bool = false -- "show constants with types when printing proof state" +option show_goal_inst : bool = false + -- "show goal instantiation (for schematic goals)" option show_main_goal : bool = false -- "show main goal when printing proof state" option goals_limit : int = 10