src/Pure/Isar/attrib.ML
changeset 39166 19efc2af3e6c
parent 39163 4d701c0388c3
child 39507 839873937ddd
     1.1 --- a/src/Pure/Isar/attrib.ML	Mon Sep 06 22:31:54 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Mon Sep 06 22:58:06 2010 +0200
     1.3 @@ -402,6 +402,8 @@
     1.4    register_config Goal_Display.goals_limit_raw #>
     1.5    register_config Goal_Display.show_main_goal_raw #>
     1.6    register_config Goal_Display.show_consts_raw #>
     1.7 +  register_config Display.show_hyps_raw #>
     1.8 +  register_config Display.show_tags_raw #>
     1.9    register_config Unify.trace_bound_raw #>
    1.10    register_config Unify.search_bound_raw #>
    1.11    register_config Unify.trace_simp_raw #>