equal
deleted
inserted
replaced
122 "show-sorts" |
122 "show-sorts" |
123 "Include sorts in display of Isabelle terms", |
123 "Include sorts in display of Isabelle terms", |
124 bool_pref Goal_Display.show_consts_default |
124 bool_pref Goal_Display.show_consts_default |
125 "show-consts" |
125 "show-consts" |
126 "Show types of consts in Isabelle goal display", |
126 "Show types of consts in Isabelle goal display", |
127 bool_pref long_names |
127 bool_pref Name_Space.long_names_default |
128 "long-names" |
128 "long-names" |
129 "Show fully qualified names in Isabelle terms", |
129 "Show fully qualified names in Isabelle terms", |
130 bool_pref Printer.show_brackets_default |
130 bool_pref Printer.show_brackets_default |
131 "show-brackets" |
131 "show-brackets" |
132 "Show full bracketing in Isabelle terms", |
132 "Show full bracketing in Isabelle terms", |