src/Pure/Isar/attrib.ML
changeset 42669 04dfffda5671
parent 42616 92715b528e78
child 42808 30870aee8a3f
     1.1 --- a/src/Pure/Isar/attrib.ML	Tue May 03 22:26:16 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Tue May 03 22:27:32 2011 +0200
     1.3 @@ -441,9 +441,9 @@
     1.4    register_config Printer.show_question_marks_raw #>
     1.5    register_config Syntax.ambiguity_level_raw #>
     1.6    register_config Syntax_Trans.eta_contract_raw #>
     1.7 -  register_config Name_Space.long_names_raw #>
     1.8 -  register_config Name_Space.short_names_raw #>
     1.9 -  register_config Name_Space.unique_names_raw #>
    1.10 +  register_config Name_Space.names_long_raw #>
    1.11 +  register_config Name_Space.names_short_raw #>
    1.12 +  register_config Name_Space.names_unique_raw #>
    1.13    register_config ML_Context.trace_raw #>
    1.14    register_config Proof_Context.show_abbrevs_raw #>
    1.15    register_config Goal_Display.goals_limit_raw #>