src/Pure/Isar/attrib.ML
changeset 39128 93a7365fb4ee
parent 39127 e7ecbe86d22e
child 39134 917b4b6ba3d2
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Sep 03 22:57:21 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Sep 03 23:54:48 2010 +0200
     1.3 @@ -395,6 +395,7 @@
     1.4   (register_config Syntax.show_structs_value #>
     1.5    register_config Syntax.show_question_marks_value #>
     1.6    register_config Syntax.ambiguity_level_value #>
     1.7 +  register_config Syntax.eta_contract_value #>
     1.8    register_config Goal_Display.goals_limit_value #>
     1.9    register_config Goal_Display.show_main_goal_value #>
    1.10    register_config Goal_Display.show_consts_value #>