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