diff -r e39c1da9d904 -r 319d08115b13 etc/options
--- 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