changeset 76073 | 951abf9db857 |
parent 76068 | 319d08115b13 |
child 76090 | f8eff19a3825 |
--- a/etc/options Tue Sep 06 12:40:36 2022 +0200 +++ b/etc/options Tue Sep 06 12:44:02 2022 +0200 @@ -66,6 +66,10 @@ option goals_limit : int = 10 -- "maximum number of subgoals to be printed" +option show_states : bool = false + -- "show toplevel states even if outside of interactive mode" + + option names_long : bool = false -- "show fully qualified names" option names_short : bool = false