--- a/src/Pure/Thy/thy_output.ML Fri Nov 30 21:47:44 2012 +0100
+++ b/src/Pure/Thy/thy_output.ML Fri Nov 30 22:38:06 2012 +0100
@@ -127,8 +127,8 @@
val command_names = map #1 (Name_Space.extern_table ctxt commands);
val option_names = map #1 (Name_Space.extern_table ctxt options);
in
- [Pretty.big_list "document antiquotations:" (map Pretty.str command_names),
- Pretty.big_list "document antiquotation options:" (map Pretty.str option_names)]
+ [Pretty.big_list "document antiquotations:" (map Pretty.mark_str command_names),
+ Pretty.big_list "document antiquotation options:" (map Pretty.mark_str option_names)]
|> Pretty.chunks |> Pretty.writeln
end;