src/Pure/Isar/attrib.ML
changeset 49657 40e4feac2921
parent 48992 0518bf89c777
child 50301 56b4c9afd7be
     1.1 --- a/src/Pure/Isar/attrib.ML	Sat Sep 29 16:15:18 2012 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sat Sep 29 16:17:46 2012 +0200
     1.3 @@ -519,6 +519,7 @@
     1.4    register_config Printer.show_brackets_raw #>
     1.5    register_config Printer.show_sorts_raw #>
     1.6    register_config Printer.show_types_raw #>
     1.7 +  register_config Printer.show_markup_raw #>
     1.8    register_config Printer.show_structs_raw #>
     1.9    register_config Printer.show_question_marks_raw #>
    1.10    register_config Syntax.ambiguity_warning_raw #>