equal
deleted
inserted
replaced
57 option show_question_marks : bool = true |
57 option show_question_marks : bool = true |
58 -- "show leading question mark of schematic variables" |
58 -- "show leading question mark of schematic variables" |
59 |
59 |
60 option show_consts : bool = false |
60 option show_consts : bool = false |
61 -- "show constants with types when printing proof state" |
61 -- "show constants with types when printing proof state" |
62 option show_goal_inst : bool = true |
|
63 -- "show goal instantiation (for schematic goals)" |
|
64 option show_main_goal : bool = false |
62 option show_main_goal : bool = false |
65 -- "show main goal when printing proof state" |
63 -- "show main goal when printing proof state" |
66 option goals_limit : int = 10 |
64 option goals_limit : int = 10 |
67 -- "maximum number of subgoals to be printed" |
65 -- "maximum number of subgoals to be printed" |
68 |
66 |