src/Pure/Thy/thy_output.ML
changeset 23272 25c84ca5e9a9
parent 22124 27b674312b2f
child 23725 1f84af8b2e71
--- a/src/Pure/Thy/thy_output.ML	Tue Jun 05 22:46:58 2007 +0200
+++ b/src/Pure/Thy/thy_output.ML	Tue Jun 05 22:46:59 2007 +0200
@@ -84,8 +84,9 @@
 
 fun print_antiquotations () =
  [Pretty.big_list "text antiquotation commands:"
-    (map Pretty.str (Symtab.keys (! global_commands))),
-  Pretty.big_list "text antiquotation options:" (map Pretty.str (Symtab.keys (! global_options)))]
+    (map Pretty.str (sort_strings (Symtab.keys (! global_commands)))),
+  Pretty.big_list "text antiquotation options:"
+    (map Pretty.str (sort_strings (Symtab.keys (! global_options))))]
  |> Pretty.chunks |> Pretty.writeln;
 
 end;