Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/args.ML
changeset 56038 0e2dec666152
parent 56037 7b716baac02c
child 56063 38f13d055107 
--- a/src/Pure/Isar/args.ML	Mon Mar 10 22:08:51 2014 +0100
+++ b/src/Pure/Isar/args.ML	Mon Mar 10 22:14:53 2014 +0100
@@ -331,7 +331,7 @@
           val print_name =
             (case output_info of
               NONE => quote name
-            | SOME (kind, markup) => kind ^ " " ^ quote (Markup.markup markup name));
+            | SOME (kind, markup) => plain_words kind ^ " " ^ quote (Markup.markup markup name));
           val print_args =
             if null args2 then "" else ":\n  " ^ space_implode " " (map Token.print args2);
         in
isabelle