src/Pure/Isar/isar_syn.ML
changeset 52060 179236c82c2a
parent 51979 4f3a5f4c1169
child 52143 36ffe23b25f8
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Fri May 17 20:41:45 2013 +0200
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Fri May 17 20:53:28 2013 +0200
     1.3 @@ -762,9 +762,9 @@
     1.4      (Scan.succeed (Toplevel.imperative Outer_Syntax.print_outer_syntax));
     1.5  
     1.6  val _ =
     1.7 -  Outer_Syntax.improper_command @{command_spec "print_configs"} "print configuration options"
     1.8 +  Outer_Syntax.improper_command @{command_spec "print_options"} "print configuration options"
     1.9      (Scan.succeed (Toplevel.unknown_context o
    1.10 -      Toplevel.keep (Attrib.print_configs o Toplevel.context_of)));
    1.11 +      Toplevel.keep (Attrib.print_options o Toplevel.context_of)));
    1.12  
    1.13  val _ =
    1.14    Outer_Syntax.improper_command @{command_spec "print_context"} "print main context"