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;