| changeset 40879 | ca132ef44944 |
| parent 40878 | 7695e4de4d86 |
| child 41183 | e20f0d0e2af3 |
--- a/src/Pure/Isar/attrib.ML Thu Dec 02 16:04:22 2010 +0100 +++ b/src/Pure/Isar/attrib.ML Thu Dec 02 16:52:52 2010 +0100 @@ -405,6 +405,7 @@ register_config Syntax.show_question_marks_raw #> register_config Syntax.ambiguity_level_raw #> register_config Syntax.eta_contract_raw #> + register_config ProofContext.show_abbrevs_raw #> register_config Goal_Display.goals_limit_raw #> register_config Goal_Display.show_main_goal_raw #> register_config Goal_Display.show_consts_raw #>