print_antiquotations: sort_strings;
authorwenzelm
Tue Jun 05 22:46:59 2007 +0200 (2007-06-05)
changeset 2327225c84ca5e9a9
parent 23271 3f9ef4bf3f31
child 23273 c6d5ab154c7c
print_antiquotations: sort_strings;
src/Pure/Thy/thy_output.ML
     1.1 --- a/src/Pure/Thy/thy_output.ML	Tue Jun 05 22:46:58 2007 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Tue Jun 05 22:46:59 2007 +0200
     1.3 @@ -84,8 +84,9 @@
     1.4  
     1.5  fun print_antiquotations () =
     1.6   [Pretty.big_list "text antiquotation commands:"
     1.7 -    (map Pretty.str (Symtab.keys (! global_commands))),
     1.8 -  Pretty.big_list "text antiquotation options:" (map Pretty.str (Symtab.keys (! global_options)))]
     1.9 +    (map Pretty.str (sort_strings (Symtab.keys (! global_commands)))),
    1.10 +  Pretty.big_list "text antiquotation options:"
    1.11 +    (map Pretty.str (sort_strings (Symtab.keys (! global_options))))]
    1.12   |> Pretty.chunks |> Pretty.writeln;
    1.13  
    1.14  end;